Gupta, Arvind

3 publications

IJCAI 2007 Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta

AAAI 1999 Point-Based Approaches to Qualitative Temporal Reasoning James P. Delgrande, Arvind Gupta, Tim Van Allen

AAAI 1996 A Representation for Efficient Temporal Reasoning James P. Delgrande, Arvind Gupta