 | 2002 |
|---|
| 12 |       | Paul Leemans,
Jan Treur,
Mark Willems:
A semantical perspective on verification of knowledge.
Data Knowl. Eng. 40(1): 33-70 (2002) |
| 2001 |
|---|
| 11 | | 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 | | 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 | | 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 | | 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 |
