Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game

DOI10.1023/B:JLLI.0000024734.80591.30zbMath1074.68624OpenAlexW1968791887MaRDI QIDQ1827410

Kristina Striegnitz, Malte Gabsdil, Ralph Debusmann, Alexander Koller

Publication date: 6 August 2004

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:jlli.0000024734.80591.30

zbMATH Keywords

generation description logic parsing theorem provers dependency grammar reference resolution text adventures

Mathematics Subject Classification ID

Natural language processing (68T50)

Uses Software

This page was built for publication: Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game