An alternative approach to the semantics of disjunctive logic programs and deductive databases
- 1 January 1994
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 13 (1) , 145-172
- https://doi.org/10.1007/bf00881915
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Disjunctive LP+integrity constraints= stable model semanticsAnnals of Mathematics and Artificial Intelligence, 1993
- A possible world semantics for disjunctive databasesIEEE Transactions on Knowledge and Data Engineering, 1993
- Complexity aspects of various semantics for disjunctive databasesPublished by Association for Computing Machinery (ACM) ,1993
- Generalized disjunctive well-founded semantics for logic programsAnnals of Mathematics and Artificial Intelligence, 1992
- Embedding negation as failure into a model generation theorem proverPublished by Springer Nature ,1992
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Performance Evaluation of Data Intensive Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978