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

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Journal of Logic, Language and Information

• Publication date

  2004-03-01

• Fields of study

  Linguistics, Computer Science

• Identifiers
  DOI 10.1023/B:JLLI.0000024734.80591.30
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Lexicalized Syntax and Topology for Non-projective Dependency Grammar

  2004cited by this paper
• Configuration of Labeled Trees under Lexicalized Constraints and Principles

  2003cited by this paper
• Generation as Dependency Parsing

  2002influential reference
• Natural Language and Inference in a Computer Game

  2002cited by this paper
• Optimization Strategies for Instance Retrieval

  2002cited by this paper
• Topological Dependency Trees: A Constraint-Based Account of Linear Precedence

  2001cited by this paper
• RACER System Description

  2001cited by this paper
• The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics

  2000cited by this paper
• Practical Reasoning for Expressive Description Logics

  1999cited by this paper
• Never Look Back: An Alternative to Centering

  1998cited by this paper
• Computational Interpretations of the Gricean Maxims in the Generation of Referring Expressions

  1995cited by this paper
• Learning and Executing Generalized Robot Plans

  1993cited by this paper
• The KL-ONE family

  1992cited by this paper
• Generating Referring Expressions Involving Relations

  1991cited by this paper
• Received

  1868cited by this paper

• 13. Semantic research in computational linguistics

  2019cites this paper
• Referring to the recently seen: reference and perceptual memory in situated dialog

  2019cites this paper
• Learning to Speak and Act in a Fantasy Text Adventure Game

  2019cites this paper
• Text-based adventures of the golovin AI agent

  2017cites this paper
• Architectural Issues for Compositional Dialog in Games

  2014cites this paper
• Game Design for Classical AI

  2014cites this paper
• Interpreting Natural Language Instructions Using Language, Vision, and Behavior

  2014cites this paper
• Bj¨ orn Schl ¨ under Ruhr-Universit¨

  2013cites this paper
• Greetings Generation in Video Role Playing Games

  2013cites this paper
• Semantic research in computational linguistics

  2012cites this paper
• A Survey of Computational Semantics: Representation, Inference and Knowledge in Wide-Coverage Text Understanding

  2011cites this paper
• Implicature as an Interactive Process

  2010cites this paper
• Frolog: an Accommodating Text-Adventure Game

  2009influential citation
• Generating Instructions in Virtual Environments (GIVE):A Challenge and an Evaluation Testbed for NLG

  2007cites this paper
• Computational Linguistics and Theorem Proving in a Computer Game Seminar "Linguistic Inference and Textual Entailment"

  2007cites this paper
• A Natural Language Interface for a 2D Networked Game

  2007cites this paper
• Incomplete Knowledge and Tacit Action: Enlightened Update in a Dialogue Game

  2007cites this paper
• Interactive Digital Storytelling : Automatic direction of virtual environments

  2006cites this paper
• Extensible dependency grammar: a modular grammar formalism based on multigraph description

  2006cites this paper
• “ Drink me ” : Handling Actions through Planning in a Text Game Adventure

  2006cites this paper
• Proceedings of the Eleventh ESSLLI Student Session

  2006cites this paper
• Narración digital e interactiva: dirección automática de Entornos Virtuales

  2006cites this paper
• Planeamiento en un Sistema de Dialogo

  2005cites this paper
• Constraint-based and graph-based resolution of ambiguities in natural language

  2004cites this paper
• Knowledge-Gathering Agents in Adventure Games

  2004cites this paper