
On Bellman's Optimality Principle for zsPOSGs
Many nontrivial sequential decisionmaking problems are efficiently sol...
read it

Positional Games and QBF: The Corrective Encoding
Positional games are a mathematical class of twoplayer games comprising...
read it

The Packed Interval Covering Problem is NPcomplete
We introduce a new decision problem, called Packed Interval Covering (PI...
read it

Foundations of Digital Archæoludology
Digital Archaeoludology (DAL) is a new field of study involving the anal...
read it

How does uncertainty about other voters determine a strategic vote?
We propose a framework for strategic voting when a voter may lack knowle...
read it

The Complexity of Limited Belief Reasoning  The QuantifierFree Case
The classical view of epistemic logic is that an agent knows all the log...
read it

Minimal Proof Search for Modal Logic K Model Checking
Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic ...
read it
Abdallah Saffidine
is this you? claim profile