research
∙
01/16/2014
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain...
research
∙
07/11/2012
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
The logic FO(ID) uses ideas from the field of logic programming to exten...
research
∙
08/29/2011