hlsyounes / vhpopLinks
Versatile heuristic partial order planner
☆15Updated 2 years ago
Alternatives and similar repositories for vhpop
Users that are interested in vhpop are comparing it to the libraries listed below
Sorting:
- Terry Winograd's SHRDLU☆40Updated 14 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- PPDDL plan evalutation simulator☆15Updated 5 years ago
- Experimental Python implementation of the Clarion cognitive architecture☆53Updated this week
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 4 years ago
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- Tools for interacting with the Planning.Domains API☆13Updated 2 years ago
- Formal Language Tools for Robots☆14Updated 9 years ago
- ☆38Updated 2 years ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 2 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- 🗺️ ASP planning tools for PDDL☆29Updated 4 years ago
- Non-Axiomatic Causal Explorer☆19Updated 3 months ago
- AIRIS Public Release☆27Updated last year
- PDDL+ planning through compilation to SMT☆47Updated 2 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- SWI Prolog library to interface to the GPT API☆19Updated last year
- Adaptive Neuro-Symbolic Network Agent☆39Updated 3 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated this week
- Pengines: Prolog engines☆12Updated 3 weeks ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated last month
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Updated last week
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- Social simulation using Python-based decision-theoretic agents with Theory of Mind☆29Updated 4 years ago
- General Inductive Logic Programming System☆18Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated 10 months ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 8 months ago