Shivam-Miglani / contextual_drl
Extracting action sequences and generating domain models.
☆14Updated 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:
- Neural Logic Reasoning for Question Answering☆74Updated 3 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆12Updated 3 years ago
- STRIPS planner with PDDL-like problem specification in Python☆47Updated 2 years ago
- Scripts to evaluate scoped meaning representations☆19Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Updated 4 years ago
- Library for action model acquisition from state trace data.☆21Updated 4 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Datasets for Goal and Plan Recognition using Classical Planning Domains.☆26Updated 5 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- 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 3 years ago
- A library for constructing and evaluating state features made up of description logics for planning.☆12Updated 2 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- Tarski - An AI Planning Modeling Framework☆65Updated last year
- Domain and problem PDDL parser in Python3 using ply.☆13Updated 6 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆81Updated 2 years ago
- Implementation of PDFAs and PDFA learning algorithm.☆11Updated 4 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆18Updated 8 months ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated last week
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Classical CHAT80 NLP system for Prolog☆22Updated 2 months ago
- Your AI-Powered Personal Finance Assistant☆19Updated 4 months ago
- ☆17Updated last year
- HTTP API to access the C&C/Boxer pipeline☆19Updated 8 years ago
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- ☆30Updated last year