Fangkai Yang (In Chinese: ),  Ph.D

email: fkyang(AT)cs(dot)utexas(dot)edu

GDC 3.802C, Department of Computer Sciences, The University of Texas at Austin, Austin,78712, TX, USA


It is only after profounder acquaintance with the other sciences that logic ceases to be for subjective spirit a merely abstract universal and reveals itself as the universal which embraces within itself the wealth of the particular.

-- Georg Wilhelm Friedrich Hegel (Aug, 27, 1770 - Nov 14, 1831), Greater Logic


(Miami Beach, May, 2012)


Biography:

From Fall 2008, I joined in Texas Action Group at Austin and started my Ph.D career under supervision of Prof.Vladimir Lifschitz in Department of Computer Sciences, The University of Texas at Austin.

In July, 2008, I obtained my Master's degree on Computer Science from Multi-agent System Lab, Department of Computer Science, University of Science and technology of China. My supervisor was Prof.Xiaoping Chen.

My research interests are generally related to logic-based artificial intelligence, including knowledge representation and reasoning, commonsense reasoning and computational logics. I am also interested in applying theory and technique of commonsense reasoning into task planning of mobile robots, integrating qualitative, symoblic representation with probablistic models. During my master period, I focused on nonmonotonic extension of description Logics and their application in the Semantic Web.

I will graduate in May 2014 with a Ph.D degree. My thesis is Representing Actions in Logic-based Languages. It was defended on Mar, 26th, 2014. (slides)

From May, 2014, I will work for Schlumberger Information Solutions at Houston Technology Center as a software engineer.

My complete resume is here.


Course Work:

Spring 2011: CS388S: Formal Semantics and Verification

Fall 2010: PHL 391: Modal Logic

Spring 2010:CS380L:Advanced Operating System

Fall 2009:CS393R:Autonomous Robots,  CS388:Natural Language Processing

Spring 2009:CS386L:Theory of Programming Languages,  CS388L:Introduction on Mathematical Logics

Fall 2008:CS388G:Algorithms:Theory and Techniques,  CS398T:Research and Teaching in Computer Science


TA Information:

Fall 2012: CS301K:Foundation of Logical Thought

Spring 2012: CS388L: Introduction to Mathematical Logics

Fall 2011: CS313H: Logic, Sets and Functions: Honors

Summer 2011: CS315: Data Structures and Algorithms

Spring 2011: CS395T: Logic-based Artificial Intelligence, CS371D: Distributed Computing

Fall 2009: CS341 Automata Theory

Spring 2009: CS337 Theory in Programming Practice

Fall 2008: CS386D Database System (Graduate Level)


Selected Publications:

Amelia Harrison, Vladimir Lifschitz, Fangkai Yang: Semantics of Gringo and Infinitary Propositional Formulas, to appear in Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14) , Vienna, Austria, July, 2014.

Piyush Khandelwal, Fangkai Yang, Matteo Leonetti, Vladimir Lifschitz, Peter Stone: Planning in Action Language BC while Learning Action Costs for Mobile Robots, to appear in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'2014), robotics track , Portsmouth, New Hampshire, USA, 2014.

Fangkai Yang, Piyush Khandelwal, Matteo Leonetti, Peter Stone: Planning in Answer Set Programming while Learning Action Costs for Mobile Robots, to appear in AAAI Spring Symposium on Knowledge Representation and Robotics, Palo Alto, California, USA, 2014.

Vladimir Lifschitz, Fangkai Yang: Lloyd-Topor Completion and General Stable Models, in Proceedings of the 29th International Conference on Logic Programming (ICLP'2013), Istanbul, Turkey, Aug 24-29, 2013.

Fangkai Yang: Representing Actions in Logic-based Formalisms (Research Summary), in Proceedings of the 29th International Conference on Logic Programming (ICLP'2013) Doctoral Consortium, Istanbul, Turkey, Aug 24, 2013.

Joohyung Lee, Vladimir Lifschitz, Fangkai Yang: Action Language BC: A Preliminary Report, in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), with oral presentation,Beijing, China, Aug 3-9, 2013.

Vladimir Lifschitz, Fangkai Yang: Functional Completion, to appear in Journal of Applied Non-classical Logic, special issue in honour of David Pearce, 2013.

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang: Representing First-order Causal Theories by Logic Programs, Journal of Theory and Practice of Logic Programming (TPLP),volume 12, issue 03, pp. 383-412. Cambridge University Press, 2012. (pdf.)

Xiaoping Chen, Guoqiang Jin and Fangkai Yang: Extending C+ with Composite Actions for Robotic Task Planning, in 28th International Conference on Logic Programming (ICLP'2012), Sept 4-8, 2012, Budapest, Hungary, 2012. (pdf.)

Vladimir Lifschitz, Karl Pichotta and Fangkai Yang: Relational Theories with Null Values and Non-Herbrand Stable Models, in 28th International Conference on Logic Programming (ICLP'2012), Sept 4-8, 2012, Budapest, Hungary, 2012, also in Journal of Theory and Practice of Logic Programming (TPLP) , Cambridge University Press.(pdf.)

Xiaoping Chen, Guoqiang Jin and Fangkai Yang: Extending Action Language C+ by Formalizing Composite Actions,in Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz , Esra Erdem, Joohyung Lee, Yuliya Lierler and David Pearce (Eds.), Lecture Notes in Computer Science, Vol.7265, Springer, June 2012.(pdf.)

Vladimir Lifschitz, Karl Pichotta and Fangkai Yang: Relational Theories with Null Values and Non-Herbrand Stable Models, 14th International Workshop on Nonmonotonic Reasoning (NMR'2012), June 8-10, 2012, Rome, Italy, 2012. (pdf.)

Vladimir Lifschitz and Fangkai Yang: Eliminating Function Symbols from a Nonmonotonic Causal Theory, in Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, Gerhard Lakemeyer and Sheila A. McIlraith (Eds.), College Publications, 2011. (pdf.)

Vladimir Lifschitz and Fangkai Yang: Translating First-order Causal Theories into Answer Set Programming, in Proceedings of 12th European Conference on Logics in Artificial Intelligence (JELIA'2010), Sept 13-15, 2010, Helsinki, Finland. (pdf.)

Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang: Representing Synonymity in Causal Logic and in Logic Programming, in Proceedings of 13th International Workshop on Nonmonotonic Reasoning (NMR'2010), May 14-16, 2010, Toronto, Canada. (pdf.)

Fangkai Yang: On Nonmonotonic Reasoning of Description Logics and Its Application on the Semantic Web (in Chinese), Master Thesis, University of Science and Technology of China, May, 2008. (pdf.)

More publications at DBLP

Google Scholar Profile


Software:

nonH: a processor for generating non-Herbrand stable models.

BCCalc: a translator Action Description BC to Answer Set Programming (under development)


Personal:

I like sports, traveling and western classical music. Here are some photos which I took in past years. I am fluent in Chinese and English. Please feel free to email me in either language if our interests overlap.