Zhao, Jicheng

5 publications

AAAI 2008 Non-Monotonic Temporal Logics That Facilitate Elaboration Tolerant Revision of Goals Chitta Baral, Jicheng Zhao

IJCAI 2007 Non-Monotonic Temporal Logics for Goal Specification Chitta Baral, Jicheng Zhao

AAAI 2006 Goal Specification, Non-Determinism and Quantifying over Policies Chitta Baral, Jicheng Zhao

AAAI 2005 Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains Chitta Baral, Thomas Eiter, Jicheng Zhao

IJCAI 2003 On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic Fangzhen Lin, Jicheng Zhao