Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...
Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with
var...
The Shapes Constraint Language (SHACL) is the recent W3C recommendation
...
We develop an algorithm that combines the advantages of priority promoti...
An extension of QPTL is considered where functional dependencies among t...
The Shapes Constraint Language (SHACL) is a recent W3C recommendation
la...
In this paper we revisit the approaches to the solution of parity games ...
We propose a novel algorithm for the solution of mean-payoff games that
...
The McNaughton-Zielonka divide et impera algorithm is the simplest and m...