TweetyProjectTeam / TweetyProjectLinks
TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
☆35Updated last month
Alternatives and similar repositories for TweetyProject
Users that are interested in TweetyProject are comparing it to the libraries listed below
Sorting:
- JPL: The Prolog <-> Java interface☆57Updated last week
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆139Updated 4 years ago
- Multi-backend EMF persistence framework.☆55Updated last week
- SARL Agent-Oriented Programming Language http://www.sarl.io☆147Updated last week
- The Melange Language Workbench☆29Updated 2 years ago
- Java <-> XSB Prolog bridge library☆12Updated 5 years ago
- Seven Languages in Seven Weeks (with Xtext)☆72Updated 2 years ago
- A general framework for embedding Logic Programming in complex systems☆30Updated last year
- Whole Platform Language Workbench☆28Updated last year
- Prolog programming for the Java platform.☆40Updated 3 months ago
- Java Constraint Programming solver☆230Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- Pure Java implementation of the Soar cognitive architecture.☆58Updated 4 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- OWL2 library for Prolog☆112Updated 6 years ago
- Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.☆235Updated 2 weeks ago
- LightJason - AgentSpeak(L++) for Java☆24Updated 4 years ago
- Yet another Java based Prolog engine☆30Updated 2 months ago
- Advanced Scripting IDE for JVM based languages.☆28Updated 4 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆39Updated 3 years ago
- Grph is a high-performance Java library for the manipulation of graphs.☆20Updated 4 years ago
- Ecore for JavaScript☆69Updated 7 years ago
- Reasoner for the description logic EL+.☆15Updated 2 months ago
- EMF-Fragments is a persistance framework for large EMF-models. It persists a model as a set of larger fragments and not based on an objec…☆13Updated 9 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 9 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 3 weeks ago
- A collection of neat tools related to the Xtend language.☆10Updated 10 years ago
- A lazy-grounding Answer-Set Programming system☆63Updated 8 months ago
- Euler Yet another proof Engine☆156Updated this week