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
- Simple Hierarchical Ordered Planner - A mirror of☆34Updated 8 years ago
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 9 years ago
- The INVAL plan validator, and other PDDL tools.☆17Updated last year
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆32Updated 8 months ago
- A beginner's guide to learning, implementing and using PDDL.☆61Updated 8 months ago
- Lab is a framework for evaluating planners and other solvers.☆33Updated last week
- Advanced support for working with RDF in Prolog.☆18Updated 7 months ago
- PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text☆35Updated 6 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last week
- A Python-based interpreter for the agent-oriented programming language JASON☆50Updated last year
- This is a mirror of the PDDL4J project on SourceForge. PDDL4J is an open source library to facilitate java implementation of planners bas…☆17Updated 12 years ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆78Updated last year
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆151Updated 6 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 2 months ago
- ROS service implementation of aMOR framework to work with multiple ontologies.☆8Updated 2 years ago
- W3C Federated Infrastructures Community Group☆21Updated 4 years ago
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- tools for common-logic☆19Updated 12 years ago
- A heuristic PDDL+ planner based on the Discretise & Validate approach.☆14Updated 7 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- PDDL+ planning through compilation to SMT☆46Updated 2 years ago
- 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
- The SWI-Prolog RDF store☆30Updated 3 weeks ago
- Euler Yet another proof Engine☆137Updated this week
- This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…☆85Updated 2 months ago
- Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio…☆95Updated 4 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated 2 months ago
- Aquaplanning QUick Automated Planning.☆13Updated 4 years ago