Temporal reasoning over linear discrete time

DOI10.1007/3-540-61630-6_22MaRDI QIDQ5236442zbMATH OpenOpenAlexFDO

Authors Manuel Enciso, Carlos Rossi, I. 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)

Recommendations

• scientific article; zbMATH DE number 1761418
• Increasing the efficiency of automated theorem proving
• scientific article; zbMATH DE number 1301761
• Implementing a fair monodic temporal logic prover
• Implicates and reduction techniques for temporal logics

Cites work

• Destructive Modal Resolution
• scientific article; zbMATH DE number 4018413 (Why is no real title available?)
• scientific article; zbMATH DE number 49746 (Why is no real title available?)
• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• scientific article; zbMATH DE number 193735 (Why is no real title available?)
• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 1536574 (Why is no real title available?)
• scientific article; zbMATH DE number 1761418 (Why is no real title available?)
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• Increasing the efficiency of automated theorem proving
• Nonclausal deduction in first-order temporal logic

Cited in

(7)

• Temporal similarity by measuring possibilistic uncertainty in CBR
• Dynamic linear time temporal logic
• Compositional reasoning using intervals and time reversal
• Temporal reasoning based on semi-intervals
• scientific article; zbMATH DE number 1487931 (Why is no real title available?)
• scientific article; zbMATH DE number 1761418 (Why is no real title available?)
• Logical consecutions in discrete linear temporal logic

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

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