English
Related papers

Related papers: Games for Active XML Revisited

200 papers

Context-free games are two-player rewriting games that are played on nested strings representing XML documents with embedded function symbols. These games were introduced to model rewriting processes for intensional documents in the Active…

Formal Languages and Automata Theory · Computer Science 2016-06-10 Martin Schuster

Active context-free games are two-player games on strings over finite alphabets with one player trying to rewrite the input string to match a target specification. These games have been investigated in the context of exchanging Active XML…

Databases · Computer Science 2012-12-17 Henrik Björklund , Martin Schuster , Thomas Schwentick , Joscha Kulbatzki

Context-free games on strings are two-player rewriting games based on a set of production rules and a regular target language. In each round, the first player selects a position of the current string; then the second player replaces the…

Formal Languages and Automata Theory · Computer Science 2018-04-30 Christian Coester , Thomas Schwentick , Martin Schuster

Reinforcement Learning has shown success in a number of complex virtual environments. However, many challenges still exist towards solving problems with natural language as a core component. Interactive Fiction Games (or Text Games) are one…

Artificial Intelligence · Computer Science 2021-09-21 Philip Osborne , Heido Nõmm , Andre Freitas

We study two-player inclusion games played over word-generating higher-order recursion schemes. While inclusion checks are known to capture verification problems, two-player games generalize this relationship to program synthesis. In such…

Logic in Computer Science · Computer Science 2017-08-08 Matthew Hague , Roland Meyer , Sebastian Muskalla

This paper proposes a data tree-rewriting framework for modeling evolving documents. The framework is close to Guarded Active XML, a platform used for handling XML repositories evolving through web services. We focus on automatic…

Databases · Computer Science 2010-03-05 Blaise Genest , Anca Muscholl , Zhilin Wu

We study two-player games played on the infinite graph of sentential forms induced by a context-free grammar (that comes with an ownership partitioning of the non-terminals). The winning condition is inclusion of the derived terminal word…

Logic in Computer Science · Computer Science 2016-11-02 Lukáš Holík , Roland Meyer , Sebastian Muskalla

Many games of interest in the real world are often intractably large, thereby necessitating the use of game abstraction to shrink them in size, typically by many magnitudes. Over the last two decades, there have been significant advances in…

Computer Science and Game Theory · Computer Science 2026-05-18 Juho Kim , Tuomas Sandholm

The present paper gives a mathematical, in particular, syntax-independent, formulation of intensionality and dynamics of computation in terms of games and strategies. Specifically, we give a game semantics for a higher-order programming…

Logic in Computer Science · Computer Science 2021-02-10 Norihiro Yamada , Samson Abramsky

It has been established in recent work that Large Language Models (LLMs) can be prompted to "self-play" conversational games that probe certain capabilities (general instruction following, strategic goal orientation, language understanding…

Computation and Language · Computer Science 2024-06-03 Anne Beyer , Kranti Chalamalasetti , Sherzod Hakimov , Brielen Madureira , Philipp Sadler , David Schlangen

Text games present opportunities for natural language understanding (NLU) methods to tackle reinforcement learning (RL) challenges. However, recent work has questioned the necessity of NLU by showing random text hashes could perform…

Computation and Language · Computer Science 2022-10-18 Yi Gu , Shunyu Yao , Chuang Gan , Joshua B. Tenenbaum , Mo Yu

Text-based games simulate worlds and interact with players using natural language. Recent work has used them as a testbed for autonomous language-understanding agents, with the motivation being that understanding the meanings of words or…

Computation and Language · Computer Science 2021-05-03 Shunyu Yao , Karthik Narasimhan , Matthew Hausknecht

We study a game for recognising formal languages, in which two players with imperfect information need to coordinate on a common decision, given private input words correlated by a finite graph. The players have a joint objective to avoid…

Formal Languages and Automata Theory · Computer Science 2016-04-27 Dietmar Berwanger , Marie van den Bogaard

We designed and built a game called \textit{Immersive Text Game}, which allows the player to choose a story and a character, and interact with other characters in the story in an immersive manner of dialogues. The game is based on several…

Computation and Language · Computer Science 2022-03-22 Wanshui Li , Yifan Bai , Jiaxuan Lu , Kexin Yi

Large language models (LLMs) have been extensively used as the backbones for general-purpose agents, and some economics literature suggest that LLMs are capable of playing various types of economics games. Following these works, to overcome…

Computer Science and Game Theory · Computer Science 2024-01-04 Shangmin Guo , Haoran Bu , Haochuan Wang , Yi Ren , Dianbo Sui , Yuming Shang , Siting Lu

Text-based adventure games provide a platform on which to explore reinforcement learning in the context of a combinatorial action space, such as natural language. We present a deep reinforcement learning architecture that represents the…

Computation and Language · Computer Science 2019-03-26 Prithviraj Ammanabrolu , Mark O. Riedl

At the beginning of 2022, a simplistic word-guessing game took the world by storm and was further adapted to many languages beyond the original English version. In this paper, we examine the strategies of daily word-guessing game players…

Computation and Language · Computer Science 2024-12-16 Matīss Rikters , Sanita Reinsone

In recent years, agents have become capable of communicating seamlessly via natural language and navigating in environments that involve cooperation and competition, a fact that can introduce social dilemmas. Due to the interleaving of…

Artificial Intelligence · Computer Science 2025-01-28 Maayan Orner , Oleg Maksimov , Akiva Kleinerman , Charles Ortiz , Sarit Kraus

While Large Language Models (LLMs) have achieved remarkable success in formal learning tasks such as mathematics and code generation, they still struggle with the "practical wisdom" and generalizable intelligence, such as strategic…

Computation and Language · Computer Science 2026-01-12 Nuoyan Lyu , Bingbing Xu , Weihao Meng , Yige Yuan , Yang Zhang , Zhiyong Huang , Tat-Seng Chua , Huawei Shen

Text-based games present a unique challenge for autonomous agents to operate in natural language and handle enormous action spaces. In this paper, we propose the Contextual Action Language Model (CALM) to generate a compact set of action…

Computation and Language · Computer Science 2020-10-07 Shunyu Yao , Rohan Rao , Matthew Hausknecht , Karthik Narasimhan
‹ Prev 1 2 3 10 Next ›