CONSTRAINED RESOLUTION AND ABDUCTTVE TEMPORAL REASONING
- 1 August 1996
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 12 (3) , 383-406
- https://doi.org/10.1111/j.1467-8640.1996.tb00268.x
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- The CLP( ℛ ) language and systemACM Transactions on Programming Languages and Systems, 1992
- Temporal constraint networksArtificial Intelligence, 1991
- Chronological ignorance: Experiments in nonmonotonic temporal reasoningArtificial Intelligence, 1988
- A logical framework for default reasoningArtificial Intelligence, 1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Temporal logics in AI: Semantical and ontological considerationsArtificial Intelligence, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- Towards a general theory of action and timeArtificial Intelligence, 1984
- A temporal logic for reasoning about processes and plansCognitive Science, 1982