EricssonResearch / scott-euLinks
SCOTT – Secure Connected Trustable Things
☆20Updated 4 years ago
Alternatives and similar repositories for scott-eu
Users that are interested in scott-eu are comparing it to the libraries listed below
Sorting:
- The INVAL plan validator, and other PDDL tools.☆21Updated last year
- Simple Hierarchical Ordered Planner - A mirror of☆36Updated 9 years ago
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 9 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆38Updated 3 weeks ago
- 🗺️ ASP planning tools for PDDL☆29Updated 4 years ago
- Advanced support for working with RDF in Prolog.☆18Updated last year
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- ClioPatria provides an RDF application platform☆56Updated last month
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 8 months ago
- tools for common-logic☆21Updated 12 years ago
- Euler Yet another proof Engine☆155Updated last week
- Aquaplanning QUick Automated Planning.☆13Updated 5 years ago
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆33Updated last year
- The SWI-Prolog RDF store☆32Updated last week
- A Python-based interpreter for the agent-oriented programming language JASON