EricssonResearch / scott-eu
SCOTT – Secure Connected Trustable Things
☆20Updated 3 years ago
Alternatives and similar repositories for scott-eu:
Users that are interested in scott-eu are comparing it to the libraries listed below
- The INVAL plan validator, and other PDDL tools.☆17Updated last year
- Simple Hierarchical Ordered Planner - A mirror of☆32Updated 8 years ago
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆31Updated 6 months ago
- A beginner's guide to learning, implementing and using PDDL.☆55Updated 6 months ago
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 9 years ago
- The SWI-Prolog RDF store☆30Updated last week
- Advanced support for working with RDF in Prolog.☆17Updated 5 months ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆77Updated last year
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆13Updated 3 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆34Updated 2 weeks ago
- Lab is a framework for evaluating planners and other solvers.☆33Updated 3 weeks ago
- Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio…☆91Updated 2 months ago
- ROS service implementation of aMOR framework to work with multiple ontologies.☆8Updated 2 years ago
- This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…☆80Updated 3 weeks ago
- Automated Programming Framework☆14Updated 4 years ago
- Moise is an organisational platform for Multi-Agent Systems☆14Updated 2 weeks ago
- 🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming☆56Updated 2 years ago
- PDDL+ planning through compilation to SMT☆45Updated last year
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Updated 4 years ago
- Generic Linked Data framework for SPARQL tripestore backends. Apache license.☆38Updated 3 months ago
- tools for common-logic☆19Updated 11 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…☆18Updated 3 years ago
- CRAM software stack☆31Updated 6 months ago
- probabilistic planning system for tasks encoded in RDDL☆42Updated 2 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 Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text☆35Updated 6 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆70Updated this week
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆30Updated last year
- Revision Management for the Semantic Web☆20Updated 4 years ago
- Qualitative Numeric Planning☆9Updated 4 years ago