Horacek, Helmut

4 publications

IJCAI 2005 Fault-Tolerant Context-Based Interpretation of Mathematical Formulas Helmut Horacek, Magdalena Wolska

AAAI 1998 Generating Inference-Rich Discourse Through Revisions of RST-Trees Helmut Horacek

IJCAI 1997 Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs Detlef Fehrer, Helmut Horacek

IJCAI 1991 Using Aspiration Windows for Minimax Algorithms Reza Shams, Hermann Kaindl, Helmut Horacek