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 | 82 | 2003 |
Non-monotonic Temporal Logics for Goal Specification C Baral, J Zhao International Joint Conference on Artificial Intelligence, 236-242, 2007 | 46 | 2007 |
Goal Specification in Presence of Non-Deterministic Actions C Baral, J Zhao ECAI, 273-277, 2004 | 16 | 2004 |
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals C Baral, J Zhao AAAI, 406-411, 2008 | 15 | 2008 |
Goal Specification, Non-Determinism and Quantifying over Policies C Baral, J Zhao AAAI, 231-237, 2006 | 11 | 2006 |
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 | 9 | 2005 |
Reasoning about actions in biophysical systems C Baral, J Dzifcak, N Tran, J Zhao 2006 AAAI Workshop, 17-24, 2006 | 3 | 2006 |
Representing and reasoning about goals and policies of agents J Zhao Arizona State University, 2010 | 1 | 2010 |
Goal default theory with priorities as a non-monotonic goal specification language E Pontelli, TC Son, C Baral, J Zhao NonMon’30, 2010 | 1 | 2010 |
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of C Baral, J Zhao Proceedings of the Twenty-third AAAI Conference on Artificial Intelligence …, 2008 | | 2008 |