( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.

, и . ICCS, том 4068 из Lecture Notes in Computer Science, стр. 102-116. Springer, (2006)

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.

Ull Erich

Hauke Erichsen

Gerda Erich

Badrian Erich

Klaus Erichson

 

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

Validation de graphes conceptuels., , и . EGC, том RNTI-E-2 из Revue des Nouvelles Technologies de l'Information, стр. 135-146. Cépaduès-Éditions, (2004)Extending Decidable Cases for Rules with Existential Variables., , , и . IJCAI, стр. 677-682. (2009)Sound and complete forward and backward chainings of graph rules, и . Conceptual Structures: Knowledge Representation as Interlingua, том 1115 из Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (1996)A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux., и . ICCS, том 1257 из Lecture Notes in Computer Science, стр. 371-385. Springer, (1997)Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.. ECAI, стр. 356-360. John Wiley and Sons, (1998)Some Structural Properties of the Logic of Rules, , , и . RR-08016. LIRMM, (2008)Piece Resolution: Towards Larger Perspectives., и . ICCS, том 1453 из Lecture Notes in Computer Science, стр. 179-193. Springer, (1998)Rules Dependencies in Backward Chaining of Conceptual Graphs Rules., и . ICCS, том 4068 из Lecture Notes in Computer Science, стр. 102-116. Springer, (2006)Sound and Complete Forward and backward Chainingd of Graph Rules., и . ICCS, том 1115 из Lecture Notes in Computer Science, стр. 248-262. Springer, (1996)DL-SR: a Lite DL with Expressive Rules: Preliminary Results., , , и . Description Logics, том 353 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)