Planning temporal events using point-interval logic

DOI10.1016/J.MCM.2005.05.018MaRDI QIDQ2473196zbMATH OpenOpenAlexFDO

Authors Abbas K. Zaidi, Lee W. Wagenhals

Publication date 26 February 2008

Published in Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.mcm.2005.05.018

zbMATH Keywords

critical path analysisplanningpoint graphspoint-interval logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 140366
• Planning for temporally extended goals.
• A temporal logic programming approach to planning
• scientific article; zbMATH DE number 1234563
• scientific article; zbMATH DE number 1249651

Cites work

• A critical examination of Allen's theory of action and time
• A survey of temporal extensions of description logics
• A Theorem on Boolean Matrices
• Actions and Events in Interval Temporal Logic
• Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Combining qualitative and quantitative constraints in temporal reasoning
• Complexity and algorithms for reasoning about time
• Concerted instant-interval temporal semantics. I: Temporal ontologies
• Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
• Efficient algorithms for qualitative reasoning about time
• scientific article; zbMATH DE number 412110 (Why is no real title available?)
• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 3904560 (Why is no real title available?)
• scientific article; zbMATH DE number 4025402 (Why is no real title available?)
• scientific article; zbMATH DE number 4076636 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 49561 (Why is no real title available?)
• scientific article; zbMATH DE number 52880 (Why is no real title available?)
• scientific article; zbMATH DE number 140366 (Why is no real title available?)
• scientific article; zbMATH DE number 1149445 (Why is no real title available?)
• scientific article; zbMATH DE number 2034368 (Why is no real title available?)
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• scientific article; zbMATH DE number 1444722 (Why is no real title available?)
• scientific article; zbMATH DE number 3235858 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• Maintaining knowledge about temporal intervals
• Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra
• Reified temporal logics: An overview
• Temporal constraint networks
• Temporal logics in AI: semantical and ontological considerations
• Tense logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The logical approach to temporal reasoning
• Towards a general theory of action and time

Cited in

(2)

• Branching interval algebra: an almost complete picture
• scientific article; zbMATH DE number 140366 (Why is no real title available?)

This page was built for publication: Planning temporal events using point-interval logic

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