Logic programming and knowledge representation
- 1 May 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 19-20, 73-148
- https://doi.org/10.1016/0743-1066(94)90025-6
Abstract
No abstract availableKeywords
This publication has 116 references indexed in Scilit:
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- An overview of nonmonotonic reasoning and logic programmingThe Journal of Logic Programming, 1993
- HiLog: A foundation for higher-order logic programmingThe Journal of Logic Programming, 1993
- A fixpoint semantics for disjunctive logic programsThe Journal of Logic Programming, 1990
- Signed data dependencies in logic programsThe Journal of Logic Programming, 1989
- Negation in logic programmingThe Journal of Logic Programming, 1987
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984