Papers

• Additive Fluents
  Joohyung Lee and Vladimir Lifschitz.
  In Working notes of AAAI 2001 Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, 2001.
  [ ps ] [ pdf ] / longer version with appendix [ ps ] [ pdf ]
  

• Nonmonotonic Causal Theories
  Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner.
  Artificial Intelligence, 153(1-2):49-104, 2004.
  [ ps ] [ pdf ]
  

• Representing the Zoo World and the Traffic World in the Language of the Causal Calculator
  Varol Akman, Selim Erdogan, Joohyung Lee, Vladimir Lifschitz and Hudson Turner.
  Artificial Intelligence, 153(1-2):105-140, 2004.
  [ ps ] [ pdf ] | (full formalization of the Zoo World) (full formalization of the Traffic World)
  This journal paper combines the two papers presented at Common Sense 2001:
  
  • A Representation of the Zoo World in the Language of the Causal Calculator
    Joohyung Lee, Vladimir Lifschitz and Hudson Turner.
    In Working Notes of Common Sense 2001: Fifth Symposium on Logical Formalizations of Commonsense Reasoning, 2001.
    [ ps ] [ pdf ]
    
  • A Representation of the Traffic World in the Language of the Causal Calculator
    Varol Akman, Selim Erdogan, Joohyung Lee and Vladimir Lifschitz.
    In Working Notes of Common Sense 2001: Fifth Symposium on Logical Formalizations of Commonsense Reasoning, 2001.
    [ ps ] [ pdf ]
    

• Describing Additive Fluents in Action Language C+
  Joohyung Lee and Vladimir Lifschitz.
  In Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pages 1079-1084, 2003.
  [ ps ] [ pdf ]
  

• Loop Formulas for Disjunctive Logic Programs
  Joohyung Lee and Vladimir Lifschitz.
  In Proc. Nineteenth International Conference on Logic Programming (ICLP 2003), pages 451-465, 2003.
  [ ps ] [ pdf ]
  

• Nondefinite vs. Definite Causal Theories
  Joohyung Lee.
  In Proc. Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004), pages 141-153, 2004.
  [ ps ] [ pdf ]
  

• A Model-Theoretic Counterpart of Loop Formulas
  Joohyung Lee.
  In Proc. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pages 503-508, 2005.
  [ ps ] [ pdf ]
  

• Automated Reasoning about Actions
  Joohyung Lee.
  Supervising professor: Vladimir Lifschitz
  Ph.D. Dissertation, May 2005
  [ ps ] [ pdf ]
  

• Loop Formulas for Circumscription
  Joohyung Lee and Fangzhen Lin.
  Artificial Intelligence, 170(2):160-185, 2006.
  [ ps ] [ pdf ]
  This journal paper is an extension of the conference paper appeared in AAAI 2004:
  • Joohyung Lee and Fangzhen Lin.
    In Proc. Nineteenth National Conference on Artificial Intelligence (AAAI 2004), pages 281-286, 2004.
    [ ps ] [ pdf ]
    

• A Knowledge Module: Buying and Selling
  Joohyung Lee and Vladimir Lifschitz.
  In Working Notes of AAAI 2006 Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Knowledge Representation and Question Answering, pages 28-32, 2006.
  [ ps ] [ pdf ]
  

• A Generalization of the Lin-Zhao Theorem
  Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz.
  Annals of Mathematics and Artificial Intelligence, 47(1-2):79-101, 2006.
  [ ps ] [ pdf ]
  

• Elementary Sets for Logic Programs
  Martin Gebser, Joohyung Lee and Yuliya Lierler.
  In Proc. The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI 2006)
  [ ps ] [ pdf ]
  
  Version appeared in Proc. NMR 2006
  [ ps ] [ pdf ]
  

• A New Perspective on Stable Models
  Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
  [ ps ] [ pdf ]
  In Proc. Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 372-379, 2007.
  

• Head-Elementary-Set-Free Logic Programs
  Martin Gebser, Joohyung Lee and Yuliya Lierler.
  In Proc. 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), pages 149-161, 2007
  [ ps ] [ pdf ]
  

• Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
  Joohyung Lee and Ravi Palla
  [ ps ] [ pdf ]
  In Working notes of Correspondence and Equivalence forNonmonotonic Theories (CENT 2007). Also in CEUR Vol 265
  

• Stable Models and Circumscription
  Paolo Ferraris, Joohyung Lee and Vladimir Lifschitz
  [ ps ] [ pdf ]
  To appear in Artificial Intelligence.
  

• A Reductive Semantics for Counting and Choice in Answer Set Programming
  Joohyung Lee, Vladimir Lifschitz and Ravi Palla
  [ ps ] [ pdf ]
  In Proc. Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), pages 472-479, 2008.
  

• On Loop Formulas with Variables
  Joohyung Lee and Yunsong Meng
  [ ps ] [ pdf ]
  in Proc. Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pages 444-453, 2008.
  

• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
  Joohyung Lee, Vladimir Lifschitz and Ravi Palla
  [ pdf ]
  In Proc. 19th International Conference on Logic Programming (ICLP 2008), pages 672-676, 2008.
  

• Classical Logic Event Calculus as Answer Set Programming
  Joohyung Lee and Ravi Palla
  [ pdf ]
  In Working Notes of Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), 2008.
  

• Symmetric Splitting in the General Theory of Stable Models
  Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz Ravi Palla
  [ pdf ]
  In Proc. IJCAI 2009, to appear.
  

• Circumscriptive Event Calculus as Answer Set Programming
  Tae-Won Kim, Joohyung Lee and Ravi Palla
  [ pdf ]
  In Proc. IJCAI 2009, to appear.
  

• On Reductive Semantics of Aggregates in Answer Set Programming
  Joohyung Lee and Yunsong Meng
  [ pdf ]
  In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), to appear.
  

• System F2LP - Computing Answer Sets of First-Order Formulas
  Joohyung Lee and Ravi Palla
  [ pdf ]
  In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), to appear.