1.8k citations
- University of ViennaAT103 papers
- Centre National de la Recherche ScientifiqueFR98 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR50 papers
- Vienna Center for Quantum Science and TechnologyAT45 papers
- European Organization for Nuclear ResearchCH40 papers
- CEA Paris-SaclayFR35 papers
- Charles UniversityCZ35 papers
- Heidelberg UniversityDE29 papers
- Technical University of MunichDE28 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ24 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR24 papers
- University of BolognaIT24 papers
4 papers · 2 filters
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (imple…
Mīmā\d{m}sā deontic logic: proof theory and applications
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco +1
Starting with the deontic principles in M\=ımā\d{m}sā texts we introduce a new deontic logic. We use general proof-theoretic methods to obtain a cut-free sequent calculus for this…
Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda, Martina Seidl +2
Blocked clauses provide the basis for powerful reasoning techniques used in SAT, QBF, and DQBF solving. Their definition, which relies on a simple syntactic criterion, guarantees t…
Circuit Treewidth, Sentential Decision, and Query Compilation
Simone Bova, Stefan Szeider
The evaluation of a query over a probabilistic database boils down to computing the probability of a suitable Boolean function, the lineage of the query over the database. The meth…