Negation as inconsistency. I
Authors:
- D.M. GabbayDGD.M. Gabbay
- M.J. SergotMSM.J. Sergot
- 30 April 1986
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 3 (1) , 1-35
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Incorporating Naïve Negation into Prolog1986
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failureThe Journal of Logic Programming, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- A prolog extension for handling negative knowledgeNew Generation Computing, 1983
- Logic for problem solvingACM SIGSOFT Software Engineering Notes, 1982
- On Closed World Data Bases1978
- Negation as Failure1978