EricssonResearch / scott-euLinks
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
Sorting:
- Simple Hierarchical Ordered Planner - A mirror of☆35Updated 8 years ago
- The INVAL plan validator, and other PDDL tools.☆17Updated last year
- 🗺️ ASP planning tools for PDDL☆29Updated 3 years ago
- Advanced support for working with RDF in Prolog.☆18Updated 9 months ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last month
- Moise is an organisational platform for Multi-Agent Systems☆15Updated 3 weeks ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 4 months ago
- The SWI-Prolog RDF store☆32Updated last month
- Euler Yet another proof Engine☆142Updated this week
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- ROS service implementation of aMOR framework to work with multiple ontologies.☆8Updated 2 years ago
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 9 years ago
- A collection of resources to dive into making OSLC applications☆18Updated 7 months ago
- A Java-based Framework for Programming Environments in Agent-oriented Applications☆19Updated 10 months ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- Aquaplanning QUick Automated Planning.☆13Updated 4 years ago
- Ontological Modeling Language (OML)☆27Updated 2 months ago
- SWI-Prolog OpenAPI (Swagger) support☆10Updated 8 months ago
- Learning Behavior Trees using Genetic Programming☆25Updated 3 years ago
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- Evolutionary multi agent system☆16Updated 10 years ago
- Docker container for the HDT tools☆10Updated 8 years ago
- This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…☆88Updated 2 months ago
- 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…☆36Updated 10 years ago
- Get notifications about changes in your SPARQL endpoint.☆29Updated 2 weeks ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆31Updated last year
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- logic programming with SPARQL☆47Updated 2 years ago