Werner Dilger

Fraunhofer-Institut fUr Informations-und Datenverarbeitung D-7500 Karlsruhe FR Germany

3 papers in the IJCAI proceedings

IJCAI 1985

ASSIP-T: A Theorem-Proving Machine

with Hans-Albert Schneider

Details PDF

COMODEL: A Language for the Representation of Technical Knowledge

with Jörg Kippe

Details PDF

IJCAI 1983

Semantic Networks as Abstract Data Types

with Wolfgang Womann

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings