Shivam-Miglani / contextual_drlLinks
Extracting action sequences and generating domain models.
☆15Updated 2 years ago
Alternatives and similar repositories for contextual_drl
Users that are interested in contextual_drl are comparing it to the libraries listed below
Sorting:
- STRIPS planner with PDDL-like problem specification in Python☆48Updated 2 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 10 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- Library for action model acquisition from state trace data.☆23Updated 9 months ago
- ☆32Updated last year
- Your AI-Powered Personal Finance Assistant☆26Updated 3 months ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆83Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆71Updated last year
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Updated 3 years ago
- Tools for interacting with the Planning.Domains API☆14Updated 2 years ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated 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
- A library for constructing and evaluating state features made up of description logics for planning.☆12Updated 7 months ago
- The newly improved planner (and more) in the cloud.☆38Updated 5 months ago
- Domain and problem PDDL parser in Python3 using ply.☆13Updated 7 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago
- Latex listing for planning formalisms☆14Updated 3 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- From LTLf/LDLf To Automata☆22Updated 5 years ago
- 🌍 PDDL instances covering the International Planning Competitions☆136Updated 4 years ago
- PDDL+ planning through compilation to SMT☆47Updated 2 years ago
- ☆16Updated 2 years ago
- Datasets for Goal and Plan Recognition using Classical Planning Domains.☆27Updated 3 weeks ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆50Updated last month
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- ☆15Updated 4 years ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆133Updated 2 weeks ago
- Translating HTN planning problems to PDDL☆21Updated 4 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated last year