| 2007 |
|---|
| 5 | EE | Chitta Baral,
Jicheng Zhao:
Non-monotonic Temporal Logics for Goal Specification.
IJCAI 2007: 236-242 |
| 2006 |
|---|
| 4 | | Chitta Baral,
Jicheng Zhao:
Goal Specification, Non-Determinism and Quantifying over Policies.
AAAI 2006 |
| 2005 |
|---|
| 3 | | Chitta Baral,
Thomas Eiter,
Jicheng Zhao:
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
AAAI 2005: 578-583 |
| 2004 |
|---|
| 2 | | Chitta Baral,
Jicheng Zhao:
Goal Specification in Presence of Non-Deterministic Actions.
ECAI 2004: 273-277 |
| 2003 |
|---|
| 1 | | Fangzhen Lin,
Jicheng Zhao:
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic.
IJCAI 2003: 853-858 |
