Hypothetical reasoning in logic programs
- 30 April 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 18 (3) , 191-227
- https://doi.org/10.1016/0743-1066(94)90043-4
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Combining multiple knowledge basesIEEE Transactions on Knowledge and Data Engineering, 1991
- A rational reconstruction of nonmonotonic truth maintenance systemsArtificial Intelligence, 1990
- All I know: A study in autoepistemic logicArtificial Intelligence, 1990
- A logical framework for default reasoningArtificial Intelligence, 1988
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979