Regular Boardgames

06/08/2017
by   Jakub Kowalski, et al.
0

We present an initial version of Regular Boardgames general game description language. This stands as an extension of Simplified Boardgames language. Our language is designed to be able to express the rules of a majority of popular boardgames including the complex rules such as promotions, castling, en passant, jump captures, liberty captures, and obligatory moves. The language describes all the above through one consistent general mechanism based on regular expressions, without using exceptions or ad hoc rules.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/08/2016

Simplified Boardgames

We formalize Simplified Boardgames language, which describes a subclass ...
research
11/21/2022

Validating Large Language Models with ReLM

Although large language models (LLMs) have been touted for their ability...
research
02/01/2021

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

The goal of this paper is to propose a framework for representing and re...
research
08/09/2022

Lang-n-Send Extended: Sending Regular Expressions to Monitors

In prior work, Cimini has presented Lang-n-Send, a pi-calculus with lang...
research
01/08/2013

Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules

In this paper we continue the work on our extension of Answer Set Progra...
research
10/01/2019

A note on the empirical comparison of RBG and Ludii

We present an experimental comparison of the efficiency of three General...
research
10/15/2021

Zipping Strategies and Attribute Grammars

Strategic term rewriting and attribute grammars are two powerful program...

Please sign up or login with your details

Forgot password? Click here to reset