EmaroLab / armorLinks
ROS service implementation of aMOR framework to work with multiple ontologies.
☆8Updated 2 years ago
Alternatives and similar repositories for armor
Users that are interested in armor are comparing it to the libraries listed below
Sorting:
- A Knowledge Base System for Cognition-enabled Robots☆147Updated last month
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆82Updated 2 years ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆156Updated 9 months ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆23Updated 7 months ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- PDDL+ planning through compilation to SMT☆48Updated 2 years ago
- OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies☆31Updated 4 years ago
- The plan validation system.☆131Updated 3 years ago
- The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate …☆17Updated last week
- General library for setting up linux-based environments for developing, running, and evaluating planners.☆126Updated last month
- The ROSPlan framework provides a generic method for task planning in a ROS system.☆377Updated last year
- Extracting action sequences and generating domain models.☆15Updated 2 years ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆34Updated last year
- Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio…☆99Updated 7 months ago
- Classical Planning in Python☆92Updated last year
- Lab is a framework for evaluating planners and other solvers.☆34Updated 2 months ago
- 🌍 PDDL instances covering the International Planning Competitions☆130Updated 4 years ago
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆23Updated 7 years ago
- The newly improved planner (and more) in the cloud.☆36Updated 2 months ago
- SCOTT – Secure Connected Trustable Things☆20Updated 4 years ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 5 months ago
- Repository that lets you run an automated planner as a service on heroku.☆26Updated 3 years ago
- A beginner's guide to learning, implementing and using PDDL.☆63Updated 11 months ago
- The INVAL plan validator, and other PDDL tools.☆18Updated last year
- 🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming☆58Updated 3 years ago
- The AIPlan4EU Unified Planning Library☆249Updated this week
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Updated 7 months ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated 10 months ago
- Automated Programming Framework☆15Updated 5 years ago