Switch to: References

Add citations

You must login to add citations.
  1. The token reification approach to temporal reasoning.Lluís Vila & Han Reichgelt - 1996 - Artificial Intelligence 83 (1):59-74.
  • Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.
  • Nonmonotonic Reasoning and Causation.Yoav Shoham - 1990 - Cognitive Science 14 (2):213-252.
    It is suggested that taking into account considerations that traditionally fall within the scope of computer science in general, and artificial intelligence in particular, sheds new light on the subject of causation. It is argued that adopting causal notions con be viewed as filling a computational need: They allow reasoning with incomplete information, facilitate economical representations, and afford relatively efficient methods for reasoning about those representations. Specifically, it is proposed that causal reasoning is intimately bound to nonmonotonic reasoning. An account (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Chronological ignorance: Experiments in nonmonotonic temporal reasoning.Yoav Shoham - 1988 - Artificial Intelligence 36 (3):279-331.
  • A framework for knowledge-based temporal abstraction.Yuval Shahar - 1997 - Artificial Intelligence 90 (1-2):79-133.
  • Operators vs. Arguments: The Ins and Outs of Reification.Antony Galton - 2006 - Synthese 150 (3):415-441.
    So-called ‘reified temporal logics’ were introduced by researchers in Artificial Intelligence (AI) in the early 1980s, and gave rise to a long-running series of debates concerning the proper way to represent states, events, causation, action, and other notions identified as crucial to the knowledge representation needs of AI. These debates never resulted in a definitive resolution of the issues under discussion, and indeed continue to produce aftershocks to the present day; none the less, we are now sufficiently far removed in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The topology of boundaries.Margaret M. Fleck - 1996 - Artificial Intelligence 80 (1):1-27.
  • A non-reified temporal logic.Fahiem Bacchus, Josh Tenenberg & Johannes A. Koomen - 1991 - Artificial Intelligence 52 (1):87-108.
  • Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
  • Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.