Mark Willems

Publication Activity (10 Years)

Years Active: 1991-2002
Publications (10 Years): 0

Publications

Paul Leemans, Jan Treur, Mark Willems
A semantical perspective on verification of knowledge. Data Knowl. Eng. 40 (1) (2002)
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Trans. Knowl. Data Eng. 13 (3) (2001)
Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards, Mark Willems
Temporal Semantics of Compositional Task Models and Problem Solving Methods. Data Knowl. Eng. 29 (1) (1999)
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
Specification of Dynamics for Knowledge-Based Systems. Transactions and Change in Logic Databases (1998)
Frances M. T. Brazier, Frank van Harmelen, Remco Straatman, Jan Treur, Niek J. E. Wijngaards, Mark Willems
The REVISE Project: A Purpose Driven Method for Language Comparison. EKAW (1996)
Frances M. T. Brazier, Pieter H. G. van Langen, Jan Treur, Niek J. E. Wijngaards, Mark Willems
Modelling an elevator design task in DESIRE: the VT example. Int. J. Hum. Comput. Stud. 44 (3-4) (1996)
Jan Treur, Mark Willems
Formal Notions for Verification of Dynamics of Knowledge-Based Systems. EUROVAV (1995)
Mark Willems
Projection and Unification for Conceptual Graphs. ICCS (1995)
Mark Willems
Pragmatic Semantics by Conceptual Graphs. ICCS (1994)
Jan Treur, Mark Willems
A Logical Foundation for Verification. ECAI (1994)
Mark Willems
A Conceptual Semantics Ontology for Conceptual Graphs. ICCS (1993)
Mark Willems
Subsumption in Knowledge Graphs. PDK (1991)