Online slides of some talks


  • Integrating rules and description logics by circumscription. AAAI 2011.
  • Normal description logic programs as default theories. NonMon-30, 2010.
  • Loop formulas for description logic programs. ICLP-10, 2010.
  • Weight constraint programs with functions. LPNMR-09, 2009.
  • Lparse programs revisited: semantics and representation of aggregates. ICLP-08, Dec 2008.
  • Loop formulas for logic programs with arbitrary constraint atoms, AAAI-08, July 2008.
  • Abductive logic programming by nonground rewrite systems. AAAI-08, July 2008.
  • Logic Programs with Abstract Constraints: Representation, Disjunction, and Complexities. LPNMR '07, May 2007.
  • Answer Set Programming Vs CSP: Power of Constraint Propagation Compared. Institute of Software, Chinese Academy of Sciences, June 2006.
  • Arc-Consistency + Unit Propagation = Lookahead. ICLP'04.
  • Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP'04.
  • On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI'03.
  • Constraint Programming: A tutorial.