Mark Willems

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