dblp.uni-trier.dewww.uni-trier.de

Jicheng Zhao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6 Chitta Baral, Jicheng Zhao: Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. AAAI 2008: 406-411
2007
5EEChitta 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

Coauthor Index

1Chitta Baral [2] [3] [4] [5] [6]
2Thomas Eiter [3]
3Fangzhen Lin [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)