potassco / asprilo-encodings
Collection of ASP encodings for asprilo
☆21Updated 3 years ago
Alternatives and similar repositories for asprilo-encodings:
Users that are interested in asprilo-encodings are comparing it to the libraries listed below
- School task at AI☆18Updated 15 years ago
- Progetto di Intelligenza Artificiale☆18Updated 10 years ago
- ☆15Updated 6 years ago
- Artificial Intelligence - Second project (FIB)☆18Updated 7 years ago
- An expert system library and toolset for defining tasks locally☆16Updated 11 years ago
- Wavefront Scheduling implemented as an expert system.☆14Updated 8 years ago
- advanced topic expert systems☆19Updated 7 years ago
- ☆23Updated 8 years ago
- This repo has 3 example problems solved using CLIPS.☆20Updated 9 years ago
- Log4rpg - A powerful logging service for RPG on System i☆20Updated last year
- CLIPS utils, &later pvm code☆18Updated 6 years ago
- RPGLE Object Orientated Framework☆17Updated 8 years ago
- A web based expert system to recommend food based on user's preferences☆32Updated 8 years ago
- This is a simple expert system implemented in CLIPS.☆38Updated 11 years ago
- Date functions do not exist in CLIPS as at version 6.30. These functions supplement some of the need.☆20Updated 2 years ago
- Gems, an Expert Managment System 💎☆20Updated 5 years ago
- Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural L…☆24Updated 8 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 3 months ago
- Declarative unit testing for Answer Set Programming projects☆12Updated 6 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆14Updated 4 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated 7 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 3 years ago
- ☆15Updated 10 months ago
- Constraint Solver ACE☆28Updated this week
- ☆20Updated 2 months ago
- From LTLf/LDLf To Automata☆22Updated 4 years ago
- ☆37Updated 2 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆77Updated last year