Folgen
Marc Denecker
Marc Denecker
Prof. at KU-Leuven
Bestätigte E-Mail-Adresse bei cs.kuleuven.be
Titel
Zitiert von
Zitiert von
Jahr
Abduction in logic programming
M Denecker, A Kakas
Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002
2352002
Well-founded and stable semantics of logic programs with aggregates
N Pelov, M Denecker, M Bruynooghe
Theory and Practice of Logic Programming 7 (3), 301-353, 2007
1702007
A logic of nonmonotone inductive definitions
M Denecker, E Ternovska
ACM transactions on computational logic (TOCL) 9 (2), 1-52, 2008
1542008
CP-logic: A language of causal probabilistic events and its relation to logic programming
J Vennekens, M Denecker, M Bruynooghe
Theory and practice of logic programming 9 (3), 245-308, 2009
1442009
The second answer set programming competition
M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
1432009
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
M Denecker, V Marek, M Truszczyński
Logic-based artificial intelligence, 127-144, 2000
1422000
SLDNFA: an abductive procedure for abductive logic programs
M Denecker, D De Schreye
The journal of logic programming 34 (2), 111-167, 1998
1341998
Representing incomplete knowledge in abductive logic programming
M Denecker, D De Schreye
Journal of Logic and Computation 5 (5), 553-577, 1995
1311995
Uniform semantic treatment of default and autoepistemic logics
M Denecker, VW Marek, M Truszczyński
Artificial Intelligence 143 (1), 79-122, 2003
1232003
Extending classical logic with inductive definitions
M Denecker
Computational Logic—CL 2000: First International Conference London, UK …, 2000
1212000
SLDNFA: an abductive procedure for normal abductive programs
M Denecker, D De Schreye
Proc. of the International Joint Conference and Symposium on Logic …, 1992
1181992
Temporal reasoning with abductive event calculus
M Denecker, L Missiaen, M Bruynooghe
Proceedings of the 10th European Conference on Artificial Intelligence …, 1992
1121992
A-system: Problem solving through abduction
AC Kakas, B Van Nuffelen, M Denecker
Proceedings of the seventeenth international joint conference on artificial …, 2001
1092001
Predicate logic as a modeling language: the IDP system
B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker
Declarative Logic Programming: Theory, Systems, and Applications, 279-323, 2018
962018
The idp system: a model expansion system for an extension of classical logic
J Wittocx, M Mariën, M Denecker
Proceedings of the 2nd Workshop on Logic and Search, 153-165, 2008
922008
Ultimate approximation and its application in nonmonotonic knowledge representation systems
M Denecker, VW Marek, M Truszczyński
Information and Computation 192 (1), 84-121, 2004
882004
Logic programming revisited: Logic programs as inductive definitions
M Denecker, M Bruynooghe, V Marek
ACM Transactions on Computational Logic 2 (4), 623-654, 2001
832001
Inductive situation calculus
M Denecker, E Ternovska
Artificial Intelligence 171 (5-6), 332-360, 2007
822007
Ultimate well-founded and stable semantics for logic programs with aggregates
M Denecker, N Pelov, M Bruynooghe
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus …, 2001
802001
SAT (ID): Satisfiability of propositional logic extended with inductive definitions
M Mariën, J Wittocx, M Denecker, M Bruynooghe
Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008
692008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20