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:
- tools for common-logic☆22Updated 12 years ago
- Advanced support for working with RDF in Prolog.☆18Updated last year
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 10 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 11 months ago
- Simple Hierarchical Ordered Planner - A mirror of☆38Updated 9 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆40Updated 3 weeks ago
- The INVAL plan validator, and other PDDL tools.☆22Updated 2 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- SARL Agent-Oriented Programming Language http://www.sarl.io☆149Updated 2 months ago
- Euler Yet another proof Engine☆156Updated last week
- The Semantic Web Application Platform: cwm etc☆37Updated last year
- The SWI-Prolog RDF store☆32Updated this week
- A web-based repository for distributed ontologies.☆34Updated 8 years ago
- A collection of resources to dive into making OSLC applications☆18Updated 2 weeks ago
- OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies☆32Updated 5 years ago
- ClioPatria provides an RDF application platform☆57Updated last month
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆33Updated last year
- Evolutionary multi agent system☆16Updated 10 years 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…☆38Updated 10 years ago
- EyeServer is a server for the EYE reasoner.☆31Updated 3 years ago
- Generic Linked Data framework for SPARQL tripestore backends. Apache license.☆39Updated last week
- Sigma Knowledge Engineering Environment☆115Updated last week
- A Python-based interpreter for the agent-oriented programming language JASON☆54Updated last year
- OWL2 library for Prolog☆112Updated 6 years ago
- Automatically exported from code.google.com/p/colore☆73Updated last year
- ☆226Updated 2 years ago
- Transform UML into a formal OWL ontology and SHACL shapes☆45Updated last month
- Java library based on the VLog rule engine☆34Updated 5 months ago
- Wings workflow system☆50Updated last year