( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantical and computational aspects of Horn approximations.

, и . Artif. Intell., 119 (1-2): 1-17 (2000)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

Towards automated reformulation of specications., и . APPIA-GULP-PRODE, стр. 398-409. (2003)Complexity of propositional nested circumscription and nested abnormality theories., , и . ACM Trans. Comput. Log., 6 (2): 232-272 (2005)Compiling Problem Specifications into SAT., и . ESOP, том 2028 из Lecture Notes in Computer Science, стр. 387-401. Springer, (2001)Complexity of Nested Circumscription and Abnormality Theories., , и . IJCAI, стр. 169-174. Morgan Kaufmann, (2001)Default Logic as a Query Language., , и . KR, стр. 99-108. Morgan Kaufmann, (1994)Combining Relational Algebra, SQL, Constraint Modelling, and Local Search, и . CoRR, (2006)Generalizing Consistency and other Constraint Properties to Quantified Constraints, , и . CoRR, (2007)Knowledge Compilation = Query Rewriting + View Synthesis., и . PODS, стр. 199-208. ACM, (2002)The Expressive Power of Binary Linear Programming.. CP, том 2239 из Lecture Notes in Computer Science, стр. 570-574. Springer, (2001)Finite Model Reasoning on UML Class Diagrams Via Constraint Programming., , , и . AI*IA, том 4733 из Lecture Notes in Computer Science, стр. 36-47. Springer, (2007)