CORTEXA
← Browse
arxivcs.LOcs.AIcs.DBcs.SC2026-07-23

Chess\_db: A framework for working with large chess game datasets

Nicos Angelopoulos, Jan Wielemaker

Chess is a two player strategic game that is embedded in classical AI culture as it was once the frontier for intelligent behaviour. There was the silent assumption that the advent of computer engines that play better than the best humans will extinguish interest in the game. However, the opposite has come to pass, with a growing following for the game. A lot of the computational resources are now centered around training of players, where the engine output is just one aspect. Access to past games is also an essential part, both in knowing what games a specific player has played previously, and also which continuations at a certain position have led to victory more often for each of the two colour players. We present Chess_db a suite of logic programming tools that can effectively manipulate games both in memory and via creating back end databases. In particular, we provide versatile code that creates databases from PGN (portable game notation) game files and explore the suitability of open source key-value databases for storing position tables that provide near-instant access to information pertaining to substantially large number of games.

View free PDFSource page

Related papers

arxivcs.LOcs.AIcs.SC2026-07-23

Hybrid MKNF with Classical Negation in the Rule Component

Arun Raveendran Nair Sheela, Christophe Rey, Florence De Grancey

Hybrid MKNF knowledge bases under the well-founded semantics integrate Description Logics with Logic Programming. However, they do not support classical negation in the rule component, limiting their ability to represent explicit negative knowledge. This limitation is particularl…

View free PDFSource page
arxivquant-phcs.AIcs.DB2026-07-31

InferQ: A Database-Oriented Benchmark for Quantum Circuits Simulation

Andrei Ilinescu, Aadi Patwardhan, Rihan Hai

Recent work suggests that relational database management systems (RDBMSs) can execute quantum circuit simulation by compiling the simulation into SQL workloads (primarily join-and-aggregate tensor contractions). While early results are promising, they largely focus on a narrow se…

View free PDFSource page
arxivcs.AIcs.LGcs.SC2026-07-23

Explaining Weather Bulletins via ILP

Enrico Santi, Alessandro Dal Palù, Agostino Dovier, Talissa Dreossi, Andrea Formisano

Inductive Logic Programming (ILP) originated within the Logic Programming community in the Nineties as a framework for combining symbolic learning with declarative knowledge representation. Nowadays, mature ILP frameworks exist and they are capable of learning complex, non-monoto…

View free PDFSource page
arxivcs.LOcs.AIcs.ET2026-07-23

Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study

Yan Huang, Xubing Hao, Xiaojin Li, Rashmie Abeysinghe, Xiaoqian Jiang, Licong Cui, et al.

The reliance on unstructured free text for documenting clinical trial protocols creates a significant barrier to automated reasoning, cohort discovery, and trial simulation. The lack of formal structure obscures critical temporal phenotypes, such as dynamic eligibility criteria a…

View free PDFSource page