( en | de | ru )

 

Disambiguierung von "Willems, Mark"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification of Dynamics for Knowledge-Based Systems.

, , , , , und . Transactions and Change in Logic Databases, Volume 1472 von Lecture Notes in Computer Science, Seite 37-68. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hermann Willems

Hans Willems

Karl Willems

Johannes Willems

Renate Willems

 

Weitere Publikationen von Autoren mit dem selben Namen

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