中文
相关论文

相关论文: Ludii Game Logic Guide

200 篇论文

The Chip Firing Game (CFG) is a discrete dynamical model used in physics, computer science and economics. It is known that the set of configurations reachable from an initial configuration (this set is called the configuration space) can be…

组合数学 · 数学 2007-05-23 Clemence Magnien , Ha Duong Phan , Laurent Vuillon

Today, the large number of players and the high computational requirements of video games have motivated research on Green Video Games. We present a survey that provides an overview of this recent research area. A total of 2,637 papers were…

软件工程 · 计算机科学 2023-12-15 Carlos Pérez , Ana C. Marcén , Javier Verón , Carlos Cetina

Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic based on stochastic effectivity functions. A definition of…

计算机科学中的逻辑 · 计算机科学 2014-04-01 Ernst-Erich Doberkat

This short paper describes an ongoing research project that requires the automated self-play learning and evaluation of a large number of board games in digital form. We describe the approach we are taking to determine relevant features,…

人工智能 · 计算机科学 2021-01-05 Cameron Browne , Dennis J. N. J. Soemers , Eric Piette

We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and supports predicate…

人工智能 · 计算机科学 2021-12-08 Andrew Cropper

We introduce LudoBench, a benchmark for evaluating LLM strategic reasoning in Ludo, a stochastic multi-agent board game whose dice mechanics, piece capture, safe-square navigation, and home-path progression introduce meaningful planning…

人工智能 · 计算机科学 2026-04-08 Ojas Jain , Dhruv Kumar

This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features…

计算机科学中的逻辑 · 计算机科学 2017-08-17 André Platzer

The increasing number of spectators and players in e-sports, along with the development of optimized communication solutions and cloud computing technology, has motivated the constant growth of the online game industry. Even though…

人工智能 · 计算机科学 2025-10-23 Silvia García-Méndez , Francisco de Arriba-Pérez

Sports data has become widely available in the recent past. With the improvement of machine learning techniques, there have been attempts to use sports data to analyze not only the outcome of individual games but also to improve insights…

人工智能 · 计算机科学 2020-07-21 Ashwin Vaswani , Rijul Ganguly , Het Shah , Sharan Ranjit S , Shrey Pandit , Samruddhi Bothara

Adversarial board games, as a paradigmatic domain of strategic reasoning and intelligence, have long served as both a popular competitive activity and a benchmark for evaluating artificial intelligence (AI) systems. Building on this…

Deceptive patterns are often used in interface design to manipulate users into taking actions they would not otherwise take, such as consenting to excessive data collection. We present Trickery, a narrative serious game that incorporates…

人机交互 · 计算机科学 2024-10-25 Kirill Kronhardt , Kevin Rolfes , Jens Gerken

General Video Game Playing (GVGP) aims at designing an agent that is capable of playing multiple video games with no human intervention. In 2014, The General Video Game AI (GVGAI) competition framework was created and released with the…

人工智能 · 计算机科学 2019-02-25 Diego Perez-Liebana , Jialin Liu , Ahmed Khalifa , Raluca D. Gaina , Julian Togelius , Simon M. Lucas

In recent years, there have been immense breakthroughs in Game AI research, particularly with Reinforcement Learning (RL). Despite their success, the underlying games are usually implemented with their own preset environments and game…

人工智能 · 计算机科学 2022-07-14 Chris Bamford , Shengyi Huang , Simon Lucas

The task of managing general game playing in a multi-agent system is the problem addressed in this paper. It is considered to be done by an agent. There are many reasons for constructing such an agent, called general game management agent.…

计算机科学与博弈论 · 计算机科学 2009-03-03 Rustam Tagiew

One of the main difficulties remains the collaboration between the various experts involved in designing the Learning Games (LG). Our literature review focuses on the pitfalls and principles that have been identified by various authors in…

人机交互 · 计算机科学 2024-01-12 Nadine Mandran , Estelle Prior , Eric Sanchez , Mathieu Vermeulen

Environments for systematic construction of logic programs are needed in the academy as well as in the industry. Such environments should support well defined construction methods and should be able to be extended and interact with other…

编程语言 · 计算机科学 2007-05-23 Gustavo A. Ospina , Baudouin Le Charlier

In this work, we explore explicit Large Language Model (LLM)-powered support for the iterative design of computer programs. Program design, like other design activity, is characterized by navigating a space of alternative problem…

人机交互 · 计算机科学 2025-03-11 J. D. Zamfirescu-Pereira , Eunice Jun , Michael Terry , Qian Yang , Björn Hartmann

Children learn though play. We introduce the analogous idea of learning programs through play. In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge. Before solving the tasks,…

机器学习 · 计算机科学 2019-05-21 Andrew Cropper

We consider multi-player games played on graphs, in which the players aim at fulfilling their own (not necessarily antagonistic) objectives. In the spirit of evolutionary game theory, we suppose that the players have the right to repeatedly…

计算机科学与博弈论 · 计算机科学 2019-10-04 Thomas Brihaye , Gilles Geeraerts , Marion Hallet , Benjamin Monmege , Bruno Quoitin

Learning Games (LGs) are educational environments based on a playful approach to learning. Their use has proven to be promising in many domains, but is at present restricted by the time consuming and costly nature of the developing process.…

计算机与社会 · 计算机科学 2014-12-11 Iza Marfisi-Schottman , Sébastien George , Franck Tarpin-Bernard