432 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR17 papers
- Université d'ArtoisFR11 papers
- Centre de Recherche en InformatiqueFR4 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Laboratoire Traitement et Communication de l’InformationFR3 papers
- LamsadeFR3 papers
- Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et HumainesFR2 papers
- Télécom ParisFR2 papers
- Université de LilleFR2 papers
- Université Paris Dauphine-PSLFR2 papers
- University of BayreuthDE2 papers
Showing 2018 · cs.AIShow all
2 papers · 2 filters
cs.AI2018★ 15 cited
On Rational Entailment for Propositional Typicality Logic
Richard Booth, Giovanni Casini, Thomas Meyer +1
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias…
cs.AI2018★ 2 cited
QBF as an Alternative to Courcelle's Theorem
Michael Lampis, Stefan Mengel, Valia Mitsou
We propose reductions to quantified Boolean formulas (QBF) as a new approach to showing fixed-parameter linear algorithms for problems parameterized by treewidth. We demonstrate th…