Computing change and specificity with equational logic programs
- 1 March 1995
- journal article
- research article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 14 (1) , 99-133
- https://doi.org/10.1007/bf01530895
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- A Completeness Result for SLDNF-ResolutionThe Journal of Logic Programming, 1993
- Conditional entailment: Bridging two approaches to default reasoningArtificial Intelligence, 1992
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- Extending SLD resolution to equational horn clauses using E-unificationThe Journal of Logic Programming, 1989
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Linear logicTheoretical Computer Science, 1987
- A deductive solution for plan generationNew Generation Computing, 1986
- Negation as FailurePublished by Springer Nature ,1978
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971