Karl-Hans Bläsius

2 papers in the IJCAI proceedings

IJCAI 1983

Equality Reasoning in Clause Graphics

Details PDF

IJCAI 1981

The Markgraf Karl Refutation Procedure

with Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings