Searching for authors named "Mark Willems" – sorted by Relevance.
-
Temporal Semantics of Compositional Task Models And Problem Solving Methods
- Treur, Niek Wijngaards and Mark Willems Vrije Universiteit Amsterdam, Department of Artificial
- Cited by 12 (12 self) – Add To MetaCart
-
A Semantical Perspective on Verification of Knowledge
- 1 A Semantical Perspective on Verification of Knowledge Paul Leemans, Jan Treur, Mark Willems
- Cited by 5 (5 self) – Add To MetaCart
-
Cg-Desire: Formal Specification Using Conceptual Graphs
- -22527 Hamburg, Germany ( ++49 40 54715 - 516 / Fax: - 515 : jum@(email omitted); MARK WILLEMS
- Cited by 5 (0 self) – Add To MetaCart
-
Specification of Dynamics for Knowledge-Based Systems
- , Dieter Fensel 2 , Frank van Harmelen 1 , Yde Venema 3 , and Mark Willems 4 1 Vrije Universiteit
- Cited by 5 (5 self) – Add To MetaCart
-
Specification of Dynamics for Knowledge-based Systems (Extended Abstract)
- Engelfriet 1 Dieter Fensel 2 Frank van Harmelen 1 Yde Venema 1 and Mark Willems 3 Abstract During
- Add To MetaCart
-
Specification of Dynamics for Knowledge-based Systems (extended )
- , Joeri Engelfriet 1 , Dieter Fensel 2 , Frank van Harmelen 1 , Yde Venema 1 and Mark Willems 3 1
- Add To MetaCart
-
Modelling an elevator design task in DESIRE: the VT example
- . VAN LANGEN, JAN TREUR, NIEK J. E. WIJNGAARDS AND MARK WILLEMS Department of Mathematics and Computer
- Cited by 10 (6 self) – Add To MetaCart
-
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
- Dieter Fensel 1 Frank van Harmelen 1 Yde Venema 2 Mark Willems 3 Abstract During the last years, a number
- Cited by 4 (1 self) – Add To MetaCart

