Author of the publication

Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game.

, , , and . Journal of Logic, Language and Information, 13 (2): 187-206 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)
 

Other publications of authors with the same name

Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game., , , and . Journal of Logic, Language and Information, 13 (2): 187-206 (2004)An efficient algorithm for the configuration problem of dominance graphs., , , , , and . SODA, page 815-824. ACM/SIAM, (2001)Exploiting Listener Gaze to Improve Situated Communication in Dynamic Virtual Environments., , , and . Cognitive Science, 40 (7): 1671-1703 (2016)Discovering User Groups for Natural Language Generation., , and . SIGDIAL Conference, page 171-179. Association for Computational Linguistics, (2018)The First Challenge on Generating Instructions in Virtual Environments., , , , , , and . Empirical Methods in Natural Language Generation, volume 5790 of Lecture Notes in Computer Science, page 328-352. Springer, (2010)Generation of landmark-based navigation instructions from open-source data., and . EACL, page 757-766. The Association for Computer Linguistics, (2012)Report on the First NLG Challenge on Generating Instructions in Virtual Environments (GIVE)., , , , , , and . ENLG, page 165-173. The Association for Computer Linguistics, (2009)Integrated sentence generation using charts., and . INLG, page 139-143. Association for Computational Linguistics, (2017)Report on the Second NLG Challenge on Generating Instructions in Virtual Environments (GIVE-2)., , , , , , , and . INLG, The Association for Computer Linguistics, (2010)Dominance Constraints: Algorithms and Complexity., , and . LACL, volume 2014 of Lecture Notes in Computer Science, page 106-125. Springer, (1998)