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

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

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)

Cites Work

• Maintaining knowledge about temporal intervals
• Towards a general theory of action and time
• Title not available (Why is that?)
• Will it reach the top? Prediction in the mechanics world

Cited In (16)

• A Road Map of Interval Temporal Logics and Duration Calculi
• The problem of coincidence in a theory of temporal multiple recurrence
• Title not available (Why is that?)
• A survey on temporal logics for specifying and verifying real-time systems
• A general framework for reasoning about change
• 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)