Stable models and their computation for logic programming with inheritance and true negation
- 30 April 1996
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 27 (1) , 5-43
- https://doi.org/10.1016/0743-1066(95)00076-3
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Mixed integer programming methods for computing nonmonotonic deductive databasesJournal of the ACM, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- The complexity of propositional closed world reasoning and circumscriptionJournal of Computer and System Sciences, 1994
- A survey of complexity results for non-monotonic logicsThe Journal of Logic Programming, 1993
- Negation by default and unstratifiable logic programsTheoretical Computer Science, 1991
- The LDL system prototypeIEEE Transactions on Knowledge and Data Engineering, 1990
- A generalization of the differential approach to recursive query evaluationThe Journal of Logic Programming, 1987
- Negation as failure: Careful closure procedureArtificial Intelligence, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982