Temporal reasoning over linear discrete time

DOI10.1007/3-540-61630-6_22zbMath1427.68347OpenAlexW1558013152MaRDI QIDQ5236442

Carlos Rossi, Manuel Enciso, Inma P. de Guzmán

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_22

zbMATH Keywords

automated theorem provingtemporal logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Temporal similarity by measuring possibilistic uncertainty in CBR

Cites Work

• Nonclausal deduction in first-order temporal logic
• Increasing the efficiency of automated theorem proving
• Destructive Modal Resolution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal reasoning over linear discrete time