Helmut Horacek

3 papers in the IJCAI proceedings

IJCAI 2005

Fault-Tolerant Context-Based Interpretation of Mathematical Formulas

with Magdalena Wolska

Details PDF

IJCAI 1997

Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs

with Detlef Fehrer

Details PDF

IJCAI 1991

Using Aspiration Windows for Minimax Algorithms

with Reza Shams, Hermann Kaindl

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings