( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pragmatic Semantics by Conceptual Graphs.

. ICCS, том 835 из Lecture Notes in Computer Science, стр. 31-44. Springer, (1994)

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.

Constantin Willems

Bonifac Willems

Rudolf Willems

Hermann Willems

Hans Willems

 

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

Specification of Dynamics for Knowledge-Based Systems., , , , , и . Transactions and Change in Logic Databases, том 1472 из Lecture Notes in Computer Science, стр. 37-68. Springer, (1998)Pragmatic Semantics by Conceptual Graphs.. ICCS, том 835 из Lecture Notes in Computer Science, стр. 31-44. Springer, (1994)A semantical perspective on verification of knowledge., , и . Data Knowl. Eng., 40 (1): 33-70 (2002)Modelling an elevator design task in DESIRE: the VT example., , , , и . Int. J. Hum. Comput. Stud., 44 (3-4): 469-520 (1996)Formal Notions for Verification of Dynamics of Knowledge-Based Systems., и . EUROVAV, стр. 189-199. ADERIAS-LIA, Universite de Savoie, (1995)Temporal Semantics of Compositional Task Models and Problem Solving Methods., , , и . Data Knowl. Eng., 29 (1): 17-42 (1999)The REVISE Project: A Purpose Driven Method for Language Comparison., , , , , и . EKAW, том 1076 из Lecture Notes in Computer Science, стр. 66-81. Springer, (1996)A Conceptual Semantics Ontology for Conceptual Graphs.. ICCS, том 699 из Lecture Notes in Computer Science, стр. 312-327. Springer, (1993)A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective., , , , , и . IEEE Trans. Knowl. Data Eng., 13 (3): 462-496 (2001)A Logical Foundation for Verification., и . ECAI, стр. 745-749. John Wiley and Sons, Chichester, (1994)