(Miami Beach, May, 2012)Fangkai Yang (In Chinese: Ñî·½¿), Ph.D candidate
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. 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. Currently I am interested in academia position or R&D position in industry. My 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:
Vladimir Lifschitz, Fangkai Yang: Lloyd-Topor Completion and General Stable Models, to appear in 29th International Conference on Logic Programming (ICLP'2013), Istanbul, Turkey, Aug 24-29, 2013.
Fangkai Yang: Representing Actions in Logic-based Formalisms (Research Summary), to appear in 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, to appear in 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.) 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. Places I have visited