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:
- Simple Hierarchical Ordered Planner - A mirror of☆38Updated 9 years ago
- The INVAL plan validator, and other PDDL tools.☆22Updated 2 years ago
- 🗺️ ASP planning tools for PDDL☆32Updated 4 years ago
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 10 years ago
- SARL Agent-Oriented Programming Language http://www.sarl.io☆150Updated 3 months ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆41Updated last week
- A Python-based interpreter for the agent-oriented programming language JASON☆54Updated last year
- 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
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆161Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated last year
- A Java-based Framework for Programming Environments in Agent-oriented Applications☆19Updated last year
- PDDL+ planning through compilation to SMT☆52Updated 2 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 4 months ago
- tools for common-logic☆22Updated 12 years ago
- SHOP3 Git repository☆161Updated 2 weeks ago
- Euler Yet another proof Engine☆159Updated last week
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆33Updated last year
- The SWI-Prolog RDF store☆32Updated 3 weeks ago
- ☆19Updated last year
- W3C Federated Infrastructures Community Group☆22Updated 5 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆100Updated last month
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 4 years ago
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Updated 5 years ago
- Next-generation end-to-end low code language based on Petri nets.☆19Updated this week
- Sigma Knowledge Engineering Environment☆117Updated this week
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 11 years ago
- Automated Programming Framework☆15Updated 5 years ago
- ClioPatria provides an RDF application platform☆57Updated 2 months ago