conftrace_

Marc Denecker

6 papers · 2015–2024 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8)

Conferences

IJCAI (5) AAAI (1)

Top co-authors

Bart Bogaerts (6) Joost Vennekens (2) Maurice Bruynooghe (1) Gerda Janssens (1) Pieter Van Hertum (1) Marcos Cramer (1) Simon Marynissen (1) Jo Devriendt (1) Joachim Jansen (1) Pierre Carbonnelle (1)

Keywords

first-order logic (1) model checking (1) logic programming (1) satisfiability checking (1) approximation fixpoint theory (1) non-monotonic logic (1) autoepistemic logic (1) constructive semantics (1) safe induction (1) justification theory (1) lattice operator (1) symmetry reduction (1)

Papers

Using Symmetries to Lift Satisfiability Checking AAAI 2024 On the Relation Between Approximation Fixpoint Theory and Justification Theory IJCAI 2021 Safe Inductions: An Algebraic Study IJCAI 2017 Relevance for SAT(ID) IJCAI 2016 Distributed Autoepistemic Logic and its Application to Access Control IJCAI 2016 Partial Grounded Fixpoints IJCAI 2015