Jicheng Zhao
Title
Cited by
Cited by
Year
On tight logic programs and yet another translation from normal logic programs to propositional logic
F Lin, J Zhao
International Joint Conference on Artificial Intelligence, 853-858, 2003
632003
Non-monotonic Temporal Logics for Goal Specification
C Baral, J Zhao
International Joint Conference on Artificial Intelligence, 236-242, 2007
412007
Goal Specification in Presence of Non-Deterministic Actions
C Baral, J Zhao
ECAI, 273-277, 2004
152004
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
C Baral, J Zhao
AAAI, 406-411, 2008
122008
Goal Specification, Non-Determinism and Quantifying over Policies
C Baral, J Zhao
AAAI, 231-237, 2006
92006
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains
C Baral, T Eiter, J Zhao
AAAI, 578-583, 2005
82005
Reasoning about actions in biophysical systems
C Baral, J Dzifcak, N Tran, J Zhao
2006 AAAI Workshop, 17-24, 2006
32006
Representing and Reasoning about Goals and Policies of Agents
J Zhao
Arizona State University, 2010
12010
Goal default theory with priorities as a non-monotonic goal specification language
E Pontelli, TC Son, C Baral, J Zhao
NonMon’30, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–9