Publication

Journal Articles

  1. A Progression Semantics for First-Order Logic Programs (with Yan Zhang). Submitted to Artificial Intelligence. 2016.
  2. A Game-Theoretical Characterization of the First-Order Indefinability of Answer Set Programs (with Yan Zhang and Yin Chen). Accepted by Journal of Logic and Computation. 2016.
  3. Ordered Completion for Logic Programs with Aggregates (with Vernon Asuncion, Yin Chen and Yan Zhang). Artificial Intelligence (AIJ). 224: 72-102. 2015.
  4. Knowledge Forgetting in Answer Set Programming (with Yisong Wang, Yan Zhang and Mingyi Zhang). Journal of Artificial Intelligence Research (JAIR). 50: 31-70. 2014.
  5. Preferred First-Order Answer Set Programs (with Vernon Asuncion and Yan Zhang). ACM Transactions on Computational Logic (TOCL). 15(2):11. 2014.
  6. Constructive Circumscription (with Vernon Asuncion, Yan Zhang and Heng Zhang). Theory and Practices of Logic Programming (TPLP), 2013.
  7. Ordered Completion for First-Order Logic Programs on Finite Structures (with Vernon Asuncion, Fangzhen Lin and Yan Zhang) .  Artificial Intelligence (AIJ). 177-179, 1-24, 2012.
  8. Loop Separable Programs and Their First-Order Definability (with Yin Chen, Fangzhen Lin and Yan Zhang). Artificial Intelligence (AIJ). 175(3-4), 890-913. 2011.
  9. A Logical Study of Partial Entailment (with Yan Zhang). Journal of Artificial Intelligence Research (JAIR). 40, 25-56. 2011
  10. From Answer Set Logic Programming to Circumscription via Logic of GK (with Fangzhen Lin). Artificial Intelligence (AIJ). 175(1), 264-277. 2011
  11. Knowledge Forgetting: Properties and Applications (with Yan Zhang). Artificial Intelligence (AIJ). 173(16-17), 1525-1537. 2009.
  12. General Default Logic (with Fangzhen Lin and Yan Zhang). Annals of Mathematics and Artificial Intelligence (AMAI). 57(2), 125-160. 2009.

Refereed Conference papers

  1. First-Order Disjunctive Logic Programming vs Normal Logic Programming. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI’15). 2015.
  2. From Disjunctive to Normal Logic Programs via Unfolding and Shifting. In Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI’14). 2014.
  3. First-Order Default Logic Revisited. In Proceedings of the 14th International Conference on The Principles of Knowledge Representation and Reasoning (KR’14). 2014.
  4. Polynomially Bounded Forgetting. In Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI’14). 2014.
  5. Ordered completion for logic programs with aggregates. (with Vernon Asuncion Lin and Yan Zhang).  In Proceedings of the Twenty-sixth AAAI Conference on Artificial Intelligence (AAAI’12). 2012.
  6. Forgetting in logic programs under strong equivalence. (with Yisong Wang, Yan Zhang and Mingyi Zhang). In Proceedings of 13th International Conference on the Principles of Knowledge Representation and Reasoning. (KR’12). 2012.
  7. Bounded Forgetting (with Yan Zhang). In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI’11). 2011.
  8. Progression Semantic for Disjunctive Logic Programs (with Yan Zhang). In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI’11). 2011.
  9. Translating Theories into Logic Programs (with Heng Zhang, Mingsheng Yin and Yan Zhang). In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11). 2011.
  10. dl2asp: Implementing Default Logic via Answer Set Programming (with Yin Chen, Hai Wan and Yan Zhang). In Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA’10). 2010.
  11. ACTL Local Model Update with Constraints (with Michael Kelly, Fei Pu and Yan Zhang). In Proceedings of the 14th International Conference on Knowledge-Based and Intelligent (KES’10). 2010.
  12. Foundations of Tree-like Local Model Updates (with Yan Zhang and Michael Kelly). In proceedings of 19th European Conference on Artificial Intelligence (ECAI’10). 2010.
  13. Some Negative Results on First-order Definability of Answer Set Programs (with Yin Chen and Yan Zhang). In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI’10). 2010.
  14. Ordered Completion for First-Order Logic Programs on Finite Structures (with Vernon Asuncion, Fangzhen Lin and Yan Zhang). In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI’10). 2010.
  15. On the Progression Semantics and Boundedness of Answer Set Programs (with Yan Zhang). In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR’10). 2010.
  16. Forgetting Revisited (with Yan Zhang). In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR’10). 2010.
  17. Modeling Abstract Behavior: A Dynamic Logic Approach (with Yan Zhang). In Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI’09): 538-546, 2009.
  18. Embedding General Default Logic into the Logic of GK (with Fangzhen Lin and Yan Zhang). In proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR’08). 76-83. 2008.
  19. Properties of Knowledge Forgetting (with Yan Zhang). In proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR’08). 68-75. 2008.
  20. Meta Level Reasoning and Default Reasoning (with Yan Zhang). In proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA’08): 403-415, 2008.
  21. Rule Calculus: Axioms, Semantics and Applications (with Yan Zhang). In proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA’08): 416-428, 2008.
  22. Partial Goal Satisfaction and Goal Change (with Leon van der Torre and Yan Zhang). In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS’08): 413-420, 2008.
  23. From Answer Set Logic Programming to Circumscription via Logic of GK (with Fangzhen Lin). In proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07): 441-446, 2007.
  24. General Default Logic (with Fangzhen Lin and Yan Zhang). In proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07): 241-253, 2007.
  25. Toward Formalizing Usefulness in Propositional Language (with Xiaoping Chen). In proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM’06): 650-661, 2006.
  26. Partial implication semantics for desirable propositions (with Xiaoping Chen). In proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR’04): 606-612, 2004.

1. First-Order Default Logic Revisited. In Proceedings of the 14th International Conference on The Principles of Knowledge Representation and Reasoning (KR’14). 2014.

Polynomially Bounded Forgetting. In Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI’14). 2014.