galactose / wviews
Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
☆8Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for wviews
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- The original timed regular expression matcher over temporal behaviors☆15Updated last year
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- ☆19Updated 7 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆22Updated 11 months ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆32Updated 7 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆33Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- Python term rewriting☆27Updated 11 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Meld virtual machine.☆29Updated 9 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- A Datalog compiler and library☆19Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- ☆16Updated 3 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- Optional types for Prolog☆11Updated 6 years ago
- Downloading and displaying academic ancestry☆14Updated 9 years ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 2 years ago