Peter Baumgartner

2 papers in the IJCAI proceedings

IJCAI 1997

Semantically Guided Theorem Proving for Diagnosis Applications

with Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl

Details PDF

IJCAI 1995

Model Elimination, Logic Programming and Computing Answers

with Ulrich Furbach, Frieder Stolzenburg

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings