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:
- Java parser for the Planning Domain Definition Language (PDDL)☆11Updated 9 years ago
- Simple Hierarchical Ordered Planner - A mirror of☆36Updated 8 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆37Updated last week
- The INVAL plan validator, and other PDDL tools.☆18Updated last year
- 🗺️ ASP planning tools for PDDL☆29Updated 4 years ago
- Advanced support for working with RDF in Prolog.☆18Updated last year
- Euler Yet another proof Engine☆152Updated last week
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 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 …☆157Updated 11 months ago
- Ontological Modeling Language (OML)☆29Updated 2 months ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- SARL Agent-Oriented Programming Language http://www.sarl.io☆148Updated last week
- A Java-based Framework for Programming Environments in Agent-oriented Applications☆19Updated last year
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆33Updated last year
- Java library based on the VLog rule engine☆34Updated last month
- RTEC is an Event Calculus implementation optimised for stream reasoning☆98Updated 2 months ago
- ClioPatria provides an RDF application platform☆56Updated last week
- W3C Federated Infrastructures Community Group☆21Updated 5 years ago
- Automatically exported from code.google.com/p/colore☆71Updated 8 months ago
- Generic Linked Data framework for SPARQL tripestore backends. Apache license.☆39Updated 4 months ago
- tools for common-logic☆20Updated 12 years ago
- PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text☆37Updated 7 years ago
- Versatile heuristic partial order planner☆15Updated 2 years ago
- Semantic Web scripting language☆104Updated 2 years ago
- Aquaplanning QUick Automated Planning.☆13Updated 4 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
- The SWI-Prolog RDF store☆32Updated 3 weeks ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆112Updated 6 years ago
- a set of command line tools for OWL files powered by owl-api☆20Updated 6 years ago
- ☆57Updated 2 years ago