Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game.
Alexander KollerRalph DebusmannMalte GabsdilKristina StriegnitzPublished in: J. Log. Lang. Inf. (2004)
Keyphrases
- computational linguistics
- theorem proving
- computer games
- natural language processing
- artificial intelligence
- first order logic
- computer science
- theorem prover
- automated reasoning
- game design
- video games
- inference rules
- information retrieval
- automated deduction
- parallel search
- machine learning
- decision procedures
- proof procedure
- proof planning
- consequence finding
- automated theorem proving
- term rewriting
- digital entertainment
- game play
- predicate calculus
- text mining
- educational games
- serious games
- geometry theorem proving
- proof search
- multi agent
- autistic children
- knowledge base
- human language technologies