Gautam Biswas

4 papers in the IJCAI proceedings

IJCAI 2003

Model-based Diagnosis of Hybrid Systems

with Sriram Narasimhan

Details PDF

IJCAI 1997

Formal Specifications for Hybrid Dynamical Systems

with Pieter J. Mosterman

Details PDF

IJCAI 1993

A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis

with Xudong Yu

Details PDF

IJCAI 1989

The Thought Experiment Approach to Qualitative Physics

with David L. Hibler

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings