Peter Fröhlich

3 papers in the IJCAI proceedings

IJCAI 1997

A Static Model-Based Engine for Model-Based Reasoning

with Wolfgang Nejdl

Details PDF

Semantically Guided Theorem Proving for Diagnosis Applications

with Peter Baumgartner, Ulrich Furbach, Wolfgang Nejdl

Details PDF

IJCAI 1995

A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems

with Wolfgang Nejdl, Michael Schroeder

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings