Jicheng Zhao

Department of Computer Science and Engineering Arizona State University Tempe , Arizona 85281

2 papers in the IJCAI proceedings

IJCAI 2007

Non-monotonic Temporal Logics for Goal Specification

with Chitta Baral

Details PDF

IJCAI 2003

On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic

with Fangzhen Lin

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings