Gregory M. Provan

7 papers in the IJCAI proceedings

IJCAI 2013

Machine-Learning-Based Circuit Synthesis

with Lior Rokach, Meir Kalech, Alexander Feldman

Details PDF

IJCAI 2009

FRACTAL: Efficient Fault Isolation Using Active Testing

with Alexander Feldman, Arjan J. C. van Gemund

Details PDF

Solving Strong-Fault Diagnostic Models by Model Relaxation

with Alexander Feldman, Arjan J. C. van Gemund

Details PDF

IJCAI 2007

Automated Benchmark Model Generators for Model-Based Diagnostic Inference

with Jun Wang

Details PDF

IJCAI 2003

A Novel Framework for Integrating Discrete Event System Control and Diagnosis

Details PDF

IJCAI 1991

An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms

with Colin J. H. McDiarmid

Details PDF

IJCAI 1989

An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings