Sotabase

Career

· Professor, KU Leuven2014–
· Assistant Professor, KU Leuven2012–2014
· Researcher, KU Leuven
· Assistant Professor, Université Libre de Bruxelles

Publications (510)

Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond · 2002
204
cited
Under Consideration for Publication in Theory and Practice of Logic Programming Cp-logic: a Language of Causal Probabilistic Events and Its Relation to Logic Programming
2009
149
cited
A logic of nonmonotone inductive definitions
TOCL · 2008
128
cited
The Second Answer Set Programming Competition
International Conference on Logic Programming and Non-Monotonic Reasoning · 2009
128
cited
SLDNFA: An Abductive Procedure for Abductive Logic Programs
The Journal of Logic Programming · 1998
122
cited
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence · 2000
117
cited
Extending Classical Logic with Inductive Definitions
Computational Logic · 2000
112
cited
SLDNFA: An Abductive Procedure for Normal Abductive Programs
Joint International Conference and Symposium on Logic Programming · 1992
104
cited
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation · 2004
104
cited
Representing Incomplete Knowledge in Abductive Logic Programming
Journal of Logic and Computation · 1993
100
cited
A-System: Problem Solving through Abduction
International Joint Conference on Artificial Intelligence · 2001
96
cited
The Well-Founded Semantics Is the Principle of Inductive Definition
European Conference on Logics in Artificial Intelligence · 1998
95
cited
Temporal Reasoning with Abductive Event Calculus
European Conference on Artificial Intelligence · 1992
93
cited
The IDP system: A model expansion system for an extension of classical logic
2008
80
cited
Inductive situation calculus
Artificial Intelligence · 2004
78
cited
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates
International Conference on Logic Programming · 2001
77
cited
Approximations, Stable Operators, Well-founded Fixpoints and Applications in Nonmonotonic Reasoning
2000
73
cited
Predicate Logic as a Modelling Language: The IDP System
arXiv.org · 2014
68
cited
Improved Static Symmetry Breaking for SAT
International Conference on Theory and Applications of Satisfiability Testing · 2016
64
cited
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
International Conference on Theory and Applications of Satisfiability Testing · 2008
55
cited
Sotabase