pith. sign in

Marc Denecker

Identifiers

  • name variant Marc Denecker 0.60 · backfill

Papers (35)

  1. Transforming Constraint Programs to Input for Local Search cs.AI · 2026 · author #3
  2. A Sequent Calculus for General Inductive Definitions cs.LO · 2026 · author #2
  3. The informal semantics of Answer Set Programming: A Tarskian perspective cs.AI · 2019 · author #1
  4. Transpiling Programmable Computable Functions to Answer Set Programs cs.PL · 2018 · author #2
  5. A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation cs.LO · 2017 · author #1
  6. Implementing a Relevance Tracker Module cs.AI · 2016 · author #5
  7. On Local Domain Symmetry for Model Expansion cs.LO · 2016 · author #4
  8. The KB paradigm and its application to interactive configuration cs.AI · 2016 · author #4
  9. Visualising interactive inferences with IDPD3 cs.PL · 2015 · author #3
  10. FO(C): A Knowledge Representation Language of Causality cs.LO · 2014 · author #3
  11. Modelling Delegation and Revocation Schemes in IDP cs.LO · 2014 · author #4
  12. FO(C) and Related Modelling Paradigms cs.LO · 2014 · author #3
  13. Inference in the FO(C) Modelling Language cs.LO · 2014 · author #3
  14. Lazy Model Expansion: Interleaving Grounding with Search cs.LO · 2014 · author #2
  15. Predicate Logic as a Modelling Language: The IDP System cs.LO · 2014 · author #5
  16. Grounding FO and FO(ID) with Bounds cs.LO · 2014 · author #3
  17. Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 cs.LO · 2013 · author #9
  18. Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results cs.LO · 2013 · author #2
  19. LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions cs.LO · 2012 · author #3
  20. A prototype of a knowledge-based programming environment cs.AI · 2011 · author #3
  21. Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too cs.AI · 2011 · author #1
  22. Constraint Propagation for First-Order Logic and Inductive Definitions cs.LO · 2010 · author #2
  23. FO(FD): Extending classical logic with rule-based fixpoint definitions cs.LO · 2010 · author #3
  24. CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming cs.AI · 2009 · author #2
  25. Well-founded and Stable Semantics of Logic Programs with Aggregates cs.LO · 2005 · author #2
  26. A Logic for Non-Monotone Inductive Definitions cs.AI · 2005 · author #1
  27. Splitting an operator: Algebraic modularity results for logics with fixpoint semantics cs.AI · 2004 · author #3
  28. Ultimate approximations in nonmonotonic knowledge representation systems cs.AI · 2002 · author #1
  29. Abductive reasoning with temporal information cs.CL · 2000 · author #2
  30. Semantic interpretation of temporal information by abductive inference cs.CL · 2000 · author #2
  31. Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison cs.AI · 2000 · author #3
  32. A note on the Declarative reading(s) of Logic Programming cs.LO · 2000 · author #1
  33. Problem solving in ID-logic with aggregates: some experiments cs.AI · 2000 · author #2
  34. Extending Classical Logic with Inductive Definitions cs.LO · 2000 · author #1
  35. Uniform semantic treatment of default and autoepistemic logics cs.AI · 2000 · author #1

Mentions

  • 1301.1395 #2 · backfill · confidence 0.70 Marc Denecker
  • 1207.2534 #3 · backfill · confidence 0.70 Marc Denecker
  • 1108.5667 #3 · backfill · confidence 0.70 Marc Denecker
  • 1108.3278 #1 · backfill · confidence 0.70 Marc Denecker
  • 2605.19671 #3 · arxiv_oai · confidence 0.70 Marc Denecker
  • 1008.2121 #2 · backfill · confidence 0.70 Marc Denecker
  • 1007.3819 #3 · backfill · confidence 0.70 Marc Denecker
  • 0904.1672 #2 · backfill · confidence 0.70 Marc Denecker

Frequent Coauthors