A critical examination of Allen's theory of action and time

DOI10.1016/0004-3702(90)90053-3zbMATH Open0733.03017DBLPjournals/ai/Galton90OpenAlexW1977441255WikidataQ57925431 ScholiaQ57925431MaRDI QIDQ809997FDOQ809997

Authors Antony Galton

Publication date 1990

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(90)90053-3

zbMATH Keywords

eventscategory of processescategory of propertiescontinuous changeinterminglingintervals of timelogic of intervalsprogressive sentencesproperty-ascriptionsproperty-negationstates of motionstates of positiontemporal ontologytheory of time and actiontime instants

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Recommendations

• Towards a general theory of action and time
• The time ontology of Allen's interval algebra
• A propositional modal logic of time intervals
• Temporal logics in AI: semantical and ontological considerations
• Representing Allen's properties, events, and processes

Cites work

• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Maintaining knowledge about temporal intervals
• Towards a general theory of action and time
• Will it reach the top? Prediction in the mechanics world

Cited in

(16)

• Planning temporal events using point-interval logic
• A survey on temporal logics for specifying and verifying real-time systems
• Towards a general theory of action and time
• A general framework for reasoning about change
• Worlds, events, and inertia
• Time representation: A taxonomy of temporal models
• A Road Map of Interval Temporal Logics and Duration Calculi
• Representing Allen's properties, events, and processes
• The token reification approach to temporal reasoning
• Tesseral spatio-temporal reasoning for multi-dimensional data
• Temporal representation and reasoning in artificial intelligence: A review
• Temporal properties of repetitive entities
• scientific article; zbMATH DE number 67867 (Why is no real title available?)
• The problem of coincidence in a theory of temporal multiple recurrence
• Two-sorted point-interval temporal logics
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: A critical examination of Allen's theory of action and time

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