Removing irrelevant information in temporal resolution proofs

DOI10.1080/095281399146634MaRDI QIDQ4421286zbMATH OpenOpenAlexFDO

Authors Clare Dixon

Publication date 1999

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/095281399146634

zbMATH Keywords

temporal theorem proving

Mathematics Subject Classification ID

Recommendations

• Search strategies for resolution in temporal logics
• Temporal resolution using a breadth-first search algorithm
• scientific article; zbMATH DE number 67448
• scientific article; zbMATH DE number 3974944
• scientific article; zbMATH DE number 1301761

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• scientific article; zbMATH DE number 41806 (Why is no real title available?)
• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• scientific article; zbMATH DE number 1348464 (Why is no real title available?)
• scientific article; zbMATH DE number 3219316 (Why is no real title available?)
• Myths about the mutual exclusion problem
• Nonclausal deduction in first-order temporal logic
• Proving Liveness Properties of Concurrent Programs
• Resolution for temporal logics of knowledge
• Temporal resolution using a breadth-first search algorithm
• The complexity of propositional linear temporal logics
• Verifying concurrent processes using temporal logic

Cited in

(1)

• scientific article; zbMATH DE number 2112327 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER
• SICStus
• STeP

This page was built for publication: Removing irrelevant information in temporal resolution proofs

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