Norbert Eisinger

Institut fUr Informatik I Universitat Karlsruhe D-7500 Karlsruhe 1 , Postfach 6380

2 papers in the IJCAI proceedings

IJCAI 1981

Subsumption And Connection Graphs

Details PDF

The Markgraf Karl Refutation Procedure

with Karl-Hans Bläsius, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings