Assumption-based truth maintenance in presence of temporal assertions
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 492-498
- https://doi.org/10.1109/tai.1994.346452
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A propositional modal logic of time intervalsJournal of the ACM, 1991
- Problem solving with the ATMSArtificial Intelligence, 1986
- Extending the ATMSArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986