Automated theorem proving in temporal logic: \(T\)-resolution

DOI10.1007/BF02939486zbMath0804.68131MaRDI QIDQ1322389

Jun Dai, Zhaokeng Zhao, Wendan Chen

Publication date: 5 May 1994

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

completenessreasoningtemporal logicsoundnessautomated theorem provingsemantic trees\(T\)- resolutionHerbrand's Theorem

Mathematics Subject Classification ID

Cites Work

• Maintaining knowledge about temporal intervals
• Temporal logics in AI: semantical and ontological considerations
• Non-monotonic logic. I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated theorem proving in temporal logic: \(T\)-resolution