Logic programming and reasoning with incomplete information
- 1 March 1994
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 12 (1) , 89-116
- https://doi.org/10.1007/bf01530762
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- WF 3: A semantics for negation in normal disjunctive logic programsPublished by Springer Nature ,1991
- All I know: A study in autoepistemic logicArtificial Intelligence, 1990
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Negation as failure: Careful closure procedureArtificial Intelligence, 1986
- Making believers out of computersArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Negation as FailurePublished by Springer Nature ,1978