UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Fangkai Yang
Ph.D. Alumni
Email:
fkyang [at] cs utexas edu
Homepage:
http://www.cs.utexas.edu/users/fkyang
Publications
[Expand to show all 16]
[Minimize]
BWIBots: A platform for bridging the gap between AI and human--robot interaction research
2017
Piyush Khandelwal, Shiqi Zhang, Jivko Sinapov, Matteo Leonetti, Jesse Thomason, Fangkai Yang, Ilaria Gori, Maxwell Svetlik, Priyanka Khante, Vladimir Lifschitz, J. K. Aggarwal, Raymond Mooney, and Peter Stone,
The International Journal of Robotics Research
(2017).
Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
2015
Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, and Peter Stone, In
Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR)
, Lexington, KY, USA, September 2015.
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, No other information
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.
Labs
Formerly affiliated with
Texas Action Group