Computation of stable models and its integration with logical query processing
- 1 January 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 8 (5) , 742-757
- https://doi.org/10.1109/69.542027
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Effective implementation of negation in database logic query languagesPublished by Springer Nature ,2005
- Query evaluation in deductive databases with alternating fixpoint semanticsACM Transactions on Database Systems, 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
- Rule ordering in bottom-up fixpoint evaluation of logic programsIEEE Transactions on Knowledge and Data Engineering, 1994
- A goal-oriented approach to computing the well-founded semanticsThe Journal of Logic Programming, 1993
- A procedural semantics for well-founded negation in logic programsThe Journal of Logic Programming, 1992
- Autoepistemic logicJournal of the ACM, 1991
- Safety and translation of relational calculusACM Transactions on Database Systems, 1991
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982