( en | de | ru )

 

Disambiguation of "Wittocx, Johan"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Computing Revised Models for FO Theories.

, , and . INAP, volume 6547 of Lecture Notes in Computer Science, page 85-101. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johan Waern

Johan Verink

Johan Setianto

Johan Schloemann

Johan Corthals

 

Other publications of authors with the same name

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions, , and . CoRR, (2012)Towards Computing Revised Models for FO Theories., , and . INAP, volume 6547 of Lecture Notes in Computer Science, page 85-101. Springer, (2009)Constraint Propagation for First-Order Logic and Inductive Definitions., , and . ACM Trans. Comput. Log., 14 (3): 17:1-17:45 (2013)A Deductive System for PC(ID)., , and . LPNMR, volume 4483 of Lecture Notes in Computer Science, page 162-174. Springer, (2007)Finite domain and symbolic inference methods for extensions of first-order logic.. AI Commun., 24 (1): 91-93 (2011)A Prototype of a Knowledge-Based Programming Environment., , and . INAP/WLP, volume 7773 of Lecture Notes in Computer Science, page 279-286. Springer, (2011)Constraint Propagation for Extended First-Order Logic, , and . CoRR, (2010)Debugging for Model Expansion., , and . ICLP, volume 5649 of Lecture Notes in Computer Science, page 296-311. Springer, (2009)