Order:
  1.  25
    Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.
    cuted actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowl-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  2.  3
    Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
  3. Representing the Zoo World and the Traffic World in the language of the causal calculator.Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):105-140.
    The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  4
    Loop formulas for circumscription.Joohyung Lee & Fangzhen Lin - 2006 - Artificial Intelligence 170 (2):160-185.
  5.  25
    The male fight‐flight response: A result of SRY regulation of catecholamines?Joohyung Lee & Vincent R. Harley - 2012 - Bioessays 34 (6):454-457.
    Graphical AbstractThe SRY gene, which is located on the Y chromosome and directs male development, may promote aggression and other traditionally male behavioural traits, resulting in the fight-or-flight reaction to stress.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    First-order stable model semantics with intensional functions.Michael Bartholomew & Joohyung Lee - 2019 - Artificial Intelligence 273 (C):56-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    A Knowledge Module: Buying and Selling.Joohyung Lee & Vladimir Lifschitz - unknown
    This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  42
    Safe Formulas in the General Theory of Stable Models (Preliminary Report).Joohyung Lee & Vladimir Lifschitz - unknown
    Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding—to the variable-free sentence obtained from it by replacing all quantifiers with multiple conjunctions and disjunctions. It follows that a safe sentence and the result of its grounding have the same stable models, and that stable models of a safe sentence can (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation