Algorithms for guiding clausal temporal resolution

DOI10.1007/3-540-45751-8_16MaRDI QIDQ4412247zbMATH OpenFDO

Authors M. Carmen Fernández Gago, Michael Fisher, Clare Dixon

Publication date 14 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2479/24790235.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• Temporal resolution using a breadth-first search algorithm
• scientific article; zbMATH DE number 1444730
• Clausal temporal resolution
• Search strategies for resolution in temporal logics
• A simplified clausal resolution procedure for propositional linear-time temporal logic

Cited in

(6)

• Temporal similarity by measuring possibilistic uncertainty in CBR
• Temporal resolution using a breadth-first search algorithm
• Searching for invariants using temporal resolution
• scientific article; zbMATH DE number 1444730 (Why is no real title available?)
• Fair Derivations in Monodic Temporal Reasoning
• Clausal temporal resolution

This page was built for publication: Algorithms for guiding clausal temporal resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412247)