A general framework for reasoning about change

DOI10.1007/BF03037474MaRDI QIDQ1877375zbMATH OpenFDO

Authors Juan Carlos Augusto

Publication date 7 September 2004

Published in New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

temporal logicknowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Temporal representation and reasoning in artificial intelligence: A review
• Reasoning about time in the situation calculus
• Actions and Events in Interval Temporal Logic
• scientific article; zbMATH DE number 1182796
• Towards a general theory of action and time

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 140366 (Why is no real title available?)
• scientific article; zbMATH DE number 1179312 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 907667 (Why is no real title available?)
• scientific article; zbMATH DE number 3022240 (Why is no real title available?)
• A critical examination of Allen's theory of action and time
• A logic-based calculus of events
• Actions and Events in Interval Temporal Logic
• An investigation of 'non-intermingling' principles in temporal logic
• Concerted instant-interval temporal semantics. I: Temporal ontologies
• Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
• Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
• Free construction of time from events
• Maintaining knowledge about temporal intervals
• On constructing instants from events
• Reconciling the event calculus with the situation calculus
• Temporal defeasible reasoning
• 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

(7)

• Modelling change in individual characteristics: An axiomatic framework
• A Representation Theorem for Change through Composition of Activities
• Examination of the axiomatic foundations of a theory of change. III
• scientific article; zbMATH DE number 1523021 (Why is no real title available?)
• Rationality in Flux – Formal Representations of Methodological Change
• Generalized change and the meaning of rationality postulates
• scientific article; zbMATH DE number 6751867 (Why is no real title available?)

This page was built for publication: A general framework for reasoning about change

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