Smodels — an implementation of the stable model and well-founded semantics for normal logic programs
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 420-429
- https://doi.org/10.1007/3-540-63255-7_32
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Experimental results on the crossover point in random 3-SATArtificial Intelligence, 1996
- Computation of stable models and its integration with logical query processingIEEE Transactions on Knowledge and Data Engineering, 1996
- Experimenting with Nonmonotonic ReasoningPublished by MIT Press ,1995
- WFS + branch and bound = stable modelsIEEE Transactions on Knowledge and Data Engineering, 1995
- Mixed integer programming methods for computing nonmonotonic deductive databasesJournal of the ACM, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- The well-founded semantics for general logic programsJournal of the ACM, 1991