2002 |
12 | EE | Paul Leemans,
Jan Treur,
Mark Willems:
A semantical perspective on verification of knowledge.
Data Knowl. Eng. 40(1): 33-70 (2002) |
2001 |
11 | EE | 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): 462-496 (2001) |
1999 |
10 | EE | 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): 17-42 (1999) |
1998 |
9 | EE | 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: 37-68 |
1996 |
8 | | 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: 66-81 |
7 | EE | 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): 469-520 (1996) |
1995 |
6 | | Jan Treur,
Mark Willems:
Formal Notions for Verification of Dynamics of Knowledge-Based Systems.
EUROVAV 1995: 189-199 |
5 | | Mark Willems:
Projection and Unification for Conceptual Graphs.
ICCS 1995: 278-292 |
1994 |
4 | | Jan Treur,
Mark Willems:
A Logical Foundation for Verification.
ECAI 1994: 745-749 |
3 | | Mark Willems:
Pragmatic Semantics by Conceptual Graphs.
ICCS 1994: 31-44 |
1993 |
2 | | Mark Willems:
A Conceptual Semantics Ontology for Conceptual Graphs.
ICCS 1993: 312-327 |
1991 |
1 | | Mark Willems:
Subsumption in Knowledge Graphs.
PDK 1991: 56-66 |