4 found
Sort by:
  1. Joohyung Lee & Vladimir Lifschitz, A Knowledge Module: Buying and Selling.
    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.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Joohyung Lee & Vladimir Lifschitz, Safe Formulas in the General Theory of Stable Models (Preliminary Report).
    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 (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Joohyung Lee, Vladimir Lifschitz & Hudson Turner, Nonmonotonic Causal Theories.
    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-.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Joohyung Lee & Vincent R. Harley (2012). The Male Fight‐Flight Response: A Result of SRY Regulation of Catecholamines? Bioessays 34 (6):454-457.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation