1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.DB2024
Monotone Rewritability and the Analysis of Queries, Views, and Rules
Michael Benedikt, Stanislav Kikot, Johannes Marti +1
We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views…
cs.LO2023★ 1 cited
Proof Systems for the Modal -Calculus Obtained by Determinizing Automata
Maurice Dekker, Johannes Kloibhofer, Johannes Marti +1
Automata operating on infinite objects feature prominently in the theory of the modal -calculus. One such application concerns the tableau games introduced by Niwiński & Walukie…
econ.TH2023
Choice Structures in Games
Paolo Galeazzi, Johannes Marti
Following the decision-theoretic approach to game theory, we extend the analysis of Epstein & Wang and of Di Tillio from hierarchies of preference relations to hierarchies of choic…