Jörg H. Siekmann

Universitat Karlsruhe lnstitut fUr lnformatik I D-7500 Karlsruhe , Postfach 6380

3 papers in the IJCAI proceedings

IJCAI 1981

The Markgraf Karl Refutation Procedure

with Karl-Hans Bläsius, Norbert Eisinger, Gert Smolka, Alexander Herold, Christoph Walther

Details PDF

Universal Unification and Regular Equational ACFM Theories

with Peter Szabó

Details PDF

IJCAI 1977

Unification of Idempotent Functions

with Stefan Kühner, Chris Mathis, Peter Raulefs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings