Marc Denecker

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

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)

Research topics

Computer Science (2) Knowledge & Reasoning (2) Foundations (2) Artificial Intelligence (1) Machine Learning (1) Applications (1) Core AI (1) Optimization & Theory (1) Reasoning (1) Representation (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 Distributed Autoepistemic Logic and its Application to Access Control IJCAI 2016 Relevance for SAT(ID) IJCAI 2016 Partial Grounded Fixpoints IJCAI 2015