Gert Smolka

2 papers in the IJCAI proceedings

IJCAI 1993

Oz - A Programming Language for Multi-Agent Systems

with Martin Henz, Jörg Würtz

Details PDF

IJCAI 1981

The Markgraf Karl Refutation Procedure

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

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings