Conferences Publications

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


  • On Reductive Semantics of Aggregates in Answer Set Programming.
        Joohyung Lee and Yunsong Meng
    In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), pages 182-195, 2009.


  • Reasoning about XACML Policy Descriptions in Answer Set Programming (Preliminary Report)
        Gail-Joon Ahn , Hongxin Hu, Joohyung Lee and Yunsong Meng
    In Proc. 13th International Workshop on Nonmonotonic Reasoning (NMR 2010), 2010.


  • Representing and Reasoning about Web Access Control Policies
        Gail-Joon Ahn , Hongxin Hu, Joohyung Lee and Yunsong Meng
    In Proc. 34th Annual IEEE Computer Software and Applications Conference (COMPSAC 2010), pages 137-146, 2010.


  • First-Order Extension of the FLP Semantics
        Michael Batholomew, Joohyung Lee and Yunsong Meng
    In Working Note. AAAI Spring Symposium 2011 (COMMONSENSE 2011).


  • First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription
        Michael Batholomew, Joohyung Lee and Yunsong Meng
    IJCAI 2011, to appear.


  • General Theory of Stable Models and First-Order Loop Formulas
        Joohyung Lee and Yunsong Meng
    Journal of Artificial Intelligence Research (JAIR), to appear.


Technical Reports