( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Computing Revised Models for FO Theories.

, , и . INAP, том 6547 из Lecture Notes in Computer Science, стр. 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.

Johan Waern

Johan Verink

Johan Setianto

Johan Schloemann

Johan Corthals

 

Другие публикации лиц с тем же именем

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions, , и . CoRR, (2012)Towards Computing Revised Models for FO Theories., , и . INAP, том 6547 из Lecture Notes in Computer Science, стр. 85-101. Springer, (2009)Constraint Propagation for First-Order Logic and Inductive Definitions., , и . ACM Trans. Comput. Log., 14 (3): 17:1-17:45 (2013)A Deductive System for PC(ID)., , и . LPNMR, том 4483 из Lecture Notes in Computer Science, стр. 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., , и . INAP/WLP, том 7773 из Lecture Notes in Computer Science, стр. 279-286. Springer, (2011)Debugging for Model Expansion., , и . ICLP, том 5649 из Lecture Notes in Computer Science, стр. 296-311. Springer, (2009)Constraint Propagation for Extended First-Order Logic, , и . CoRR, (2010)