Quentin Manière

1. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
   2024/07/30 by Carsten Lutz, Lutz, Carsten, Quentin Manière +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge