Recent work proposed the UCTMAXSAT algorithm to address Maximum
Satisfia...
We address two bottlenecks for concise QBF encodings of maker-breaker
po...
State-of-the-art methods for solving 2-player zero-sum imperfect informa...
Many non-trivial sequential decision-making problems are efficiently sol...
Positional games are a mathematical class of two-player games comprising...
We introduce a new decision problem, called Packed Interval Covering (PI...
Digital Archaeoludology (DAL) is a new field of study involving the anal...
We propose a framework for strategic voting when a voter may lack knowle...
The classical view of epistemic logic is that an agent knows all the log...
Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic ...