Commonsense axiomatizations for logic programs
- 1 November 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 17 (2-4) , 161-195
- https://doi.org/10.1016/0743-1066(93)90030-k
Abstract
No abstract availableKeywords
This publication has 39 references indexed in Scilit:
- Negation by default and unstratifiable logic programsTheoretical Computer Science, 1991
- Negation as failure using tight derivations for general logic programsThe Journal of Logic Programming, 1989
- On the computability of circumscriptionInformation Processing Letters, 1988
- Negation in logic programmingThe Journal of Logic Programming, 1987
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Computing protected circumscriptionThe Journal of Logic Programming, 1985
- Negation as failure. IIThe Journal of Logic Programming, 1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984