List of works - Arne Meier - Paulina

List of works by Arne Meier

Approximation and dependence via multiteam semantics

scholarly article by Arnaud Durand et al published 18 January 2018 in Annals of Mathematics and Artificial Intelligence

Generalized Satisfiability for the Description Logic $\mathcal{ALC}$

article published in 2011

Model Checking CTL is Almost Always Inherently Sequential ⬇️

article by Olaf Beyersdorff et al published 17 May 2011 in Logical Methods in Computer Science

Model Checking CTL is Almost Always Inherently Sequential ⬇️

scholarly article published July 2009

Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework

scientific article published on 31 January 2023

Proof Complexity of Propositional Default Logic ⬇️

Proof complexity of propositional default logic ⬇️

Satisfiability of Modal Inclusion Logic ⬇️

scholarly article

Strong Backdoors for Default Logic

scientific article published on 30 March 2024

The Complexity of Reasoning for Fragments of Default Logic ⬇️

The complexity of propositional implication

Paulina is supported by:

About Paulina

Help