- Referenced in 239 articles
- The Smodels system is an Answer Set Programming...
- Referenced in 97 articles
- SATCHMO: a theorem prover implemented in Prolog. The...
- Referenced in 104 articles
- Potassco, the Potsdam Answer Set Solving Collection, bundles...
- Referenced in 144 articles
- XSB is a Logic Programming and Deductive Database...
- Referenced in 50 articles
- SWRL: A Semantic Web Rule Language Combining OWL...
- Referenced in 4 articles
- eclingo : A Solver for Epistemic Logic Programs. We...