pith. sign in

Arne Meier

Identifiers

  • name variant Arne Meier 0.60 · backfill

Papers (27)

  1. Aspects of Coherence in Dependence Logic cs.LO · 2026 · author #6
  2. On the Complexity of Entailment for Cumulative Propositional Dependence Logics cs.LO · 2026 · author #3
  3. Counting Complexity for Reasoning in Abstract Argumentation cs.AI · 2018 · author #3
  4. Enumeration in Incremental FPT-Time cs.LO · 2018 · author #1
  5. Probabilistic team semantics cs.LO · 2018 · author #4
  6. Team Semantics for the Specification and Verification of Hyperproperties cs.LO · 2017 · author #2
  7. Enumeration Complexity of Poor Man's Propositional Dependence Logic cs.LO · 2017 · author #1
  8. Model Checking and Validity in Propositional and Modal Inclusion Logics cs.LO · 2016 · author #3
  9. Strong Backdoors for Default Logic cs.LO · 2016 · author #2
  10. Strong Backdoors for Linear Temporal Logic cs.LO · 2016 · author #1
  11. Approximation and Dependence via Multiteam Semantics cs.LO · 2015 · author #4
  12. A Team Based Variant of CTL cs.LO · 2015 · author #2
  13. Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics cs.LO · 2015 · author #3
  14. LTL Fragments are Hard for Standard Parameterisations cs.LO · 2015 · author #2
  15. The model checking fingerprints of CTL operators cs.LO · 2015 · author #2
  16. Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem cs.LO · 2014 · author #2
  17. Parameterized Enumeration with Ordering cs.CC · 2013 · author #3
  18. Paradigms for Parameterized Enumeration cs.CC · 2013 · author #2
  19. Generalized Complexity of ALC Subsumption cs.LO · 2012 · author #1
  20. The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers cs.CC · 2012 · author #2
  21. On the Parameterized Complexity of Default Logic and Autoepistemic Logic cs.CC · 2011 · author #1
  22. Generalized Satisfiability for the Description Logic ALC cs.LO · 2011 · author #1
  23. The Complexity of Reasoning for Fragments of Autoepistemic Logic cs.LO · 2010 · author #2
  24. The Complexity of Satisfiability for Sub-Boolean Fragments of ALC cs.LO · 2010 · author #1
  25. The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I cs.LO · 2009 · author #1
  26. The Complexity of Propositional Implication cs.CC · 2008 · author #2
  27. The Complexity of Reasoning for Fragments of Default Logic cs.CC · 2008 · author #2

Mentions

  • 1510.09040 #4 · backfill · confidence 0.70 Arne Meier
  • 1505.01964 #2 · backfill · confidence 0.70 Arne Meier
  • 1504.06409 #3 · backfill · confidence 0.70 Arne Meier
  • 1504.06187 #2 · backfill · confidence 0.70 Arne Meier
  • 1504.04708 #2 · backfill · confidence 0.70 Arne Meier
  • 1410.4044 #2 · backfill · confidence 0.70 Arne Meier
  • 2605.31269 #6 · arxiv_oai · confidence 0.70 Arne Meier
  • 1309.5009 #3 · backfill · confidence 0.70 Arne Meier
  • 1306.2171 #2 · backfill · confidence 0.70 Arne Meier
  • 1205.0722 #1 · backfill · confidence 0.70 Arne Meier
  • 1204.1196 #2 · backfill · confidence 0.70 Arne Meier
  • 1110.0623 #1 · backfill · confidence 0.70 Arne Meier
  • 2605.21113 #3 · arxiv_oai · confidence 0.70 Arne Meier
  • 1103.0853 #1 · backfill · confidence 0.70 Arne Meier
  • 1006.0220 #2 · backfill · confidence 0.70 Arne Meier
  • 1001.4255 #1 · backfill · confidence 0.70 Arne Meier
  • 0906.1489 #1 · backfill · confidence 0.70 Arne Meier
  • 0811.0959 #2 · backfill · confidence 0.70 Arne Meier
  • 0808.3884 #2 · backfill · confidence 0.70 Arne Meier

Frequent Coauthors