15 citations · 22 across the 4 of their papers we have counts for
4 papers
Grounding FO and FO(ID) with Bounds
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning syst…
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
Ping Hou, Johan Wittocx, Marc Denecker
The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. Such logic formally extends logic programming,…
A prototype of a knowledge-based programming environment
Stef De Pooter, Johan Wittocx, Marc Denecker
In this paper we present a proposal for a knowledge-based programming environment. In such an environment, declarative background knowledge, procedures, and concrete data are repre…
Constraint Propagation for First-Order Logic and Inductive Definitions
Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Constraint propagation is one of the basic forms of inference in many logic-based reasoning systems. In this paper, we investigate constraint propagation for first-order logic (FO)…