Representing first-order causal theories by logic programs
PAOLO FERRARIS , JOOHYUNG LEE , YULIYA LIERLER , VLADIMIR LIFSCHITZ
Theory and Practice of Logic Programming 12 ( 3) 383 -412
10
2012
Relational theories with null values and non-herbrand stable models
VLADIMIR LIFSCHITZ , KARL PICHOTTA , FANGKAI YANG
Theory and Practice of Logic Programming 12 ( 4) 565 -582
4
2012
Lloyd-Topor Completion and General Stable Models
VLADIMIR LIFSCHITZ , FANGKAI YANG
Theory and Practice of Logic Programming 13 503 -515
5
2013
Introduction to the 35th International Conference on Logic Programming Special Issue
ESRA ERDEM , ANDREA FORMISANO , GERMÁN VIDAL , FANGKAI YANG
Theory and Practice of Logic Programming 19 630 -635
2019
A Hybrid System DLclog Integrating Description Logics and Rules
Fangkai YANG , Xiao-Ping CHEN
Journal of Software 12 005 -005
2008
The semantics of Gringo and infinitary propositional formulas
Amelia Harrison , Vladimir Lifschitz , Fangkai Yang
principles of knowledge representation and reasoning 32 -41
10
2014
Extending action language C+ by formalizing composite actions
Fangkai Yang , Guoqiang Jin , Xiaoping Chen
Correct Reasoning 134 -148
2
2012
Representing Actions in Logic-Based Languages
Fangkai Yang
Theory and Practice of Logic Programming 13
2014
Planning in action language BC while learning action costs for mobile robots
Matteo Leonetti , Vladimir Lifschitz , Fangkai Yang , Peter Stone
international conference on automated planning and scheduling 472 -480
21
2014
Extending C+ with Composite Actions for Robotic Task Planning.
Fangkai Yang , Guoqiang Jin , Xiaoping Chen
international conference on lightning protection 17 404 -414
7
2012
A Distance-based Operator to Revising Ontologies in DL SHOQ,
Fangkai Yang , Zhisheng Huang , Guilin Qi
european conference on symbolic and quantitative approaches to reasoning and uncertainty 434 -445
2
2009
PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making
Fangkai Yang , Steven Gustafson , Bo Liu , Daoming Lyu
arXiv: Learning
109
2018
SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning
Fangkai Yang , Steven Gustafson , Bo Liu , Daoming Lyu
arXiv: Artificial Intelligence
102
2018
BWIBots: A platform for bridging the gap between AI and human–robot interaction research:
Piyush Khandelwal , Shiqi Zhang , Jivko Sinapov , Matteo Leonetti
The International Journal of Robotics Research 36 635 -659
120
2017
Translating first-order causal theories into answer set programming
Vladimir Lifschitz , Fangkai Yang
european conference on logics in artificial intelligence 247 -259
3
2010
Integrating rules and description logics with circumscription for the semantic web
Fangkai Yang , Xiaoping Chen
rules and rule markup languages for the semantic web 182 -189
2007
Logic-Based Sequential Decision-Making
Daoming Lyu , Fangkai Yang , Bo Liu , Daesub Yoon
national conference on artificial intelligence 33 ( 01) 9995 -9996
1
2019
Vladimir lifschitz -- a youth at 65
Neelakantan Kartha , Esra Erdem , Joohyung Lee , Paolo Ferraris
Correct Reasoning 14 -23
2012
Task-Motion Planning with Reinforcement Learning for Adaptable Mobile Service Robots
Yuqian Jiang , Fangkai Yang , Shiqi Zhang , Peter Stone
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 7529 -7534
9
2019
A Survey of Revision Approaches in Description Logics
Guilin Qi , Fangkai Yang
web reasoning and rule systems 74 -88
26
2008