( en | de | ru )

 

Disambiguation of "Willems, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
Specification of Dynamics for Knowledge-Based Systems.

, , , , , and . Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, page 37-68. Springer, (1998)

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.

Hermann Willems

Hans Willems

Karl Willems

Johannes Willems

Renate Willems

 

Other publications of authors with the same name

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