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

DOI10.1016/0004-3702(90)90053-3MaRDI QIDQ809997zbMATH OpenOpenAlexDBLPWikidataFDO

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)

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

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)