research
∙
01/30/2023
Multi-Structural Games and Beyond
Multi-structural (MS) games are combinatorial games that capture the num...
share
research
∙
01/25/2023
Towards a Unification of Logic and Information Theory
We examine the problem of efficient transmission of logical statements f...
research
∙
06/30/2022
On the Number of Quantifiers as a Complexity Measure
In 1981, Neil Immerman described a two-player game, which he called the ...
research
∙
07/19/2021
E-PDDL: A Standardized Way of Defining Epistemic Planning Problems
Epistemic Planning (EP) refers to an automated planning setting where th...
research
∙
04/30/2021
Multi-Structural Games and Number of Quantifiers
We study multi-structural games, played on two sets 𝒜 and ℬ of structure...
research
∙
09/14/2020
A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?
There is a problem with the foundations of classical mathematics, and po...
research
∙
07/12/2019
On a Generalization of the Marriage Problem
We present a generalization of the marriage problem underlying Hall's fa...
research
∙
04/15/2019
From Hall's Marriage Theorem to Boolean Satisfiability and Back
Motivated by the application of Hall's Marriage Theorem in various LP-ro...
research
∙
02/04/2014
