Switch to: References

Add citations

You must login to add citations.
  1. Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The topology of boundaries.Margaret M. Fleck - 1996 - Artificial Intelligence 80 (1):1-27.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A non-reified temporal logic.Fahiem Bacchus, Josh Tenenberg & Johannes A. Koomen - 1991 - Artificial Intelligence 52 (1):87-108.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The token reification approach to temporal reasoning.Lluís Vila & Han Reichgelt - 1996 - Artificial Intelligence 83 (1):59-74.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Chronological ignorance: Experiments in nonmonotonic temporal reasoning.Yoav Shoham - 1988 - Artificial Intelligence 36 (3):279-331.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A framework for knowledge-based temporal abstraction.Yuval Shahar - 1997 - Artificial Intelligence 90 (1-2):79-133.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations