galactose / wviewsLinks
Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs
☆8Updated 7 years ago
Alternatives and similar repositories for wviews
Users that are interested in wviews are comparing it to the libraries listed below
Sorting:
- Declarative unit testing for Answer Set Programming projects☆12Updated 7 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- VATA Tree Automata Library☆32Updated 11 months ago
- language independent software composition and merging☆32Updated 8 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 weeks ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- ☆19Updated 8 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- The original timed regular expression matcher over temporal behaviors☆15Updated 2 years ago
- ☆34Updated 4 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated 2 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- ☆22Updated 8 months ago
- Python term rewriting☆30Updated 12 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated 3 weeks ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Kodkod solver for relational logic☆77Updated 2 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- A collection of (public) specifications in different formalisms.☆18Updated last year
- Bigloo Scheme Compiler☆12Updated 9 years ago