Negation as inconsistency. I
- 30 April 1986
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 3 (1) , 1-35
- https://doi.org/10.1016/0743-1066(86)90002-6
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Incorporating Naïve Negation into PrologPublished by Springer Nature ,1986
- 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 BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978