Fangkai Yang
Ph.D. Student
Homepage:
http://www.cs.utexas.edu/users/fkyang
Publications
Action Language BC: Preliminary Report 2013
Joohyung Lee, Vladimir Lifschitz, and Fangkai Yang, To Appear 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, 23(1-2), 2013.
Lloyd-Topor Completion and General Stable Models 2013
Vladimir Lifschitz and Fangkai Yang, To Appear In Theory and Practice of Logic Programming, 2013.
On the Semantics of Gringo 2013
Amelia Harrison, Vladimir Lifschitz, and Fangkai Yang, To Appear In Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms, 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, 12(4-5):565-582, 2012.
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, 12(3):383-412, 2012.
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.
Labs
Texas Action Group