aig-upf / 2017-planning-with-simulators
Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
☆10Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for 2017-planning-with-simulators
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆21Updated last year
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 3 years ago
- ☆15Updated 6 months ago
- FOND solver based on SAT☆14Updated 2 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated 3 weeks ago
- Tarski - An AI Planning Modeling Framework☆64Updated 8 months ago
- Automated Programming Framework☆14Updated 4 years ago
- Qualitative Numeric Planning☆9Updated 3 years ago
- ☆28Updated 8 months ago
- ☆32Updated last week
- Synthesizer of LTLf formula☆9Updated last year
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Updated 7 years ago
- 🌍 PDDL instances covering the International Planning Competitions☆114Updated 3 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆16Updated 2 months ago
- LTL2PDDL tool☆10Updated 7 years ago
- The main repository integrating the LaTeX beamer-based slides☆23Updated last month
- A lazy-grounding Answer-Set Programming system☆58Updated 3 weeks ago
- An open source graphical proof construction assistant for the creation of Natural Deduction proofs.☆16Updated 9 months ago
- PDDL+ planning through compilation to SMT☆44Updated last year
- ☆33Updated last year
- General Inductive Logic Programming System☆17Updated 2 years ago
- Planning through backpropagation using TensorFlow.☆16Updated 4 years ago
- Your AI-Powered Personal Finance Assistant☆10Updated 6 months ago
- Lab is a framework for evaluating planners and other solvers.☆31Updated this week
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆66Updated 8 months ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆74Updated last year
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago
- Powerlifted Planner☆27Updated 2 weeks ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated last year