A general framework for reasoning about change

DOI10.1007/BF03037474zbMATH Open1089.68633MaRDI QIDQ1877375FDOQ1877375

Authors: Juan Carlos Augusto 

Publication date: 7 September 2004

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

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

zbMATH Keywords

temporal logicknowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Maintaining knowledge about temporal intervals
• Towards a general theory of action and time
• Actions and Events in Interval Temporal Logic
• A logic-based calculus of events
• A critical examination of Allen's theory of action and time
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal defeasible reasoning
• Title not available (Why is that?)
• Free construction of time from events
• Title not available (Why is that?)
• On constructing instants from events
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• The logical approach to temporal reasoning
• Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
• An investigation of 'non-intermingling' principles in temporal logic
• Reconciling the event calculus with the situation calculus
• Title not available (Why is that?)
• Concerted instant-interval temporal semantics. I: Temporal ontologies
• Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change

Cited In (7)

• Rationality in Flux – Formal Representations of Methodological Change
• Title not available (Why is that?)
• A Representation Theorem for Change through Composition of Activities
• Generalized change and the meaning of rationality postulates
• Modelling change in individual characteristics: An axiomatic framework
• Examination of the axiomatic foundations of a theory of change. III
• Title not available (Why is that?)

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)