potassco / asprilo-encodingsLinks
Collection of ASP encodings for asprilo
☆21Updated 4 years ago
Alternatives and similar repositories for asprilo-encodings
Users that are interested in asprilo-encodings are comparing it to the libraries listed below
Sorting:
- School task at AI☆18Updated 15 years ago
- Artificial Intelligence - Second project (FIB)☆18Updated 8 years ago
- ☆15Updated 7 years ago
- Progetto di Intelligenza Artificiale☆18Updated 11 years ago
- An expert system library and toolset for defining tasks locally☆16Updated 12 years ago
- advanced topic expert systems☆19Updated 8 years ago
- RPGLE Object Orientated Framework☆17Updated 8 years ago
- Wavefront Scheduling implemented as an expert system.☆14Updated 9 years ago
- ☆22Updated 8 years ago
- CLIPS utils, &later pvm code☆18Updated 6 years ago
- This repo has 3 example problems solved using CLIPS.☆20Updated 9 years ago
- This is a simple expert system implemented in CLIPS.☆39Updated 11 years ago
- Gems, an Expert Managment System 💎☆20Updated 6 years ago
- A web based expert system to recommend food based on user's preferences☆31Updated 9 years ago
- Date functions do not exist in CLIPS as at version 6.30. These functions supplement some of the need.☆20Updated 3 years ago
- Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural L…☆26Updated 9 years ago
- A default file system for electron to make it easier to write self contained programs☆17Updated 11 years ago
- top-down interpreter for ASP programs with constraints☆18Updated 3 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Updated 3 years ago
- JS notes☆97Updated 3 years ago
- TPTP python library and benchmarking service☆13Updated 6 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆38Updated 3 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- Python interface for SWI-Prolog☆49Updated last week
- This repository collects notebooks for the course☆13Updated 3 months ago
- Documentation for a Morphic sample application☆11Updated 3 years ago
- Customizable Case-Based Reasoning (CBR) toolkit for Python with a built-in API and CLI.☆14Updated last week
- Ontology development environment for Common Logic (CL)☆24Updated 2 years ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago