7 found
Order:
  1.  9
    The Stable Model Semantics for Logic Programming.Michael Gelfond, Vladimir Lifschitz, Robert A. Kowalski, Kenneth A. Bowen, Kit Fine & Jens Erik Fenstad - 1992 - Journal of Symbolic Logic 57 (1):274-277.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  2.  14
    Theory of Deductive Systems and its Applications.S. Iu Maslov, Michael Gelfond & Vladimir Lifschitz - 1987
  3.  10
    Theory of Deductive Systems and its Applications.Daniel J. Dougherty, S. Yu Maslov, Michael Gelfond & Vladimir Lifschitz - 1988 - Journal of Symbolic Logic 53 (4):1260.
  4.  67
    Alan: An Action Language For Modelling Non-Markovian Domains.Graciela González, Chitta Baral & Michael Gelfond - 2005 - Studia Logica 79 (1):115-134.
    In this paper we present the syntax and semantics of a temporal action language named Alan, which was designed to model interactive multimedia presentations where the Markov property does not always hold. In general, Alan allows the specification of systems where the future state of the world depends not only on the current state, but also on the past states of the world. To the best of our knowledge, Alan is the first action language which incorporates causality with temporal formulas. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Some Properties of System Descriptions Of.Michael Gelfond & Daniela Inclezan - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):105-120.
    The paper discusses some properties of system descriptions in action language – a recent extension of action language by defined fluents. We give a sufficient condition guaranteeing that states of an system description are fully determined by statics and inertial fluents. In system descriptions satisfying this condition, defined fluents simply facilitate the description of dynamic domains; they are not essential and can be eliminated. We use our sufficient condition to identify a common core of action languages and. This is an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  14
    Review: Murray Shanahan, Solving the Frame Problem. A Mathematical Investigation of the Common Sense Law of Inertia. [REVIEW]Michael Gelfond - 1998 - Journal of Symbolic Logic 63 (3):1186-1188.
  7.  11
    Shanahan Murray. Solving the Frame Problem. A Mathematical Investigation of the Common Sense Law of Inertia. Artificial Intelligence Series. The MIT Press, Cambridge, Mass., and London, 1997, Xxxiv + 407 Pp. [REVIEW]Michael Gelfond - 1998 - Journal of Symbolic Logic 63 (3):1186-1188.