Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game (Q1827410)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game |
scientific article; zbMATH DE number 2083416
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game |
scientific article; zbMATH DE number 2083416 |
Statements
Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game (English)
0 references
6 August 2004
0 references
dependency grammar
0 references
description logic
0 references
generation
0 references
parsing
0 references
reference resolution
0 references
text adventures
0 references
theorem provers
0 references
