Fangkai Yang
Ph.D. Alumni
     [Expand to show all 14][Minimize]
Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions 2014
Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, and Peter Stone, In The 7th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), July 2014.
Planning in Action Language BC while Learning Action Costs for Mobile Robots 2014
Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, and Peter Stone, In International Conference on Automated Planning and Scheduling (ICAPS), June 2014.
Planning in Answer Set Programming while Learning Action Costs for Mobile Robots 2014
Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, and Peter Stone,
Representing Actions in Logic-Based Languages 2014
Fangkai Yang, PhD Thesis, Department of Computer Sciences, The University of Texas at Austin.
The Semantics of Gringo and Infinitary Propositional Formulas 2014
Amelia Harrison, Vladimir Lifschitz and Fangkai Yang, In Proceedings of 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2014.
Action Language BC: Preliminary Report 2013
Joohyung Lee, Vladimir Lifschitz, and Fangkai Yang, In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI) 2013.
Functional Completion 2013
Vladimir Lifschitz and Fangkai Yang, Journal of Applied Non-Classical Logics, Vol. 23, 1-2 (2013).
Lloyd-Topor Completion and General Stable Models 2013
Vladimir Lifschitz and Fangkai Yang, Theory and Practice of Logic Programming, Vol. 13, 4-5 (2013), pp. 503-515.
On the Semantics of Gringo 2013
Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang, In Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), Istanbul, Turkey, August 2013.
Representing Actions in Logic-based Languages 2013
Fangkai Yang, To Appear In TPLP, Online Supplement (2013).
Relational Theories with Null Values and Non-Herbrand Stable Models 2012
Vladimir Lifschitz, Karl Pichotta, and Fangkai Yang, Theory and Practice of Logic Programming, Vol. 12, 4-5 (2012), pp. 565-582.
Representing First-Order Causal Theories by Logic Programs 2012
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, Theory and Practice of Logic Programming, Vol. 12, 3 (2012), pp. 383-412.
Representing Synonymity in Causal Logic and in Logic Programming 2010
Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang, In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR) 2010.
Translating First-Order Causal Theories into Answer Set Programming 2010
Vladimir Lifschitz and Fangkai Yang, In Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2010.
Formerly affiliated with Texas Action Group