|
Search the dblp DataBase
Mark Willems:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
Specification of Dynamics for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP] Transactions and Change in Logic Databases, 1998, pp:37-68 [Conf]
- Jan Treur, Mark Willems
A Logical Foundation for Verification. [Citation Graph (0, 0)][DBLP] ECAI, 1994, pp:745-749 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EKAW, 1996, pp:66-81 [Conf]
- Jan Treur, Mark Willems
Formal Notions for Verification of Dynamics of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP] EUROVAV, 1995, pp:189-199 [Conf]
- Mark Willems
Projection and Unification for Conceptual Graphs. [Citation Graph (0, 0)][DBLP] ICCS, 1995, pp:278-292 [Conf]
- Mark Willems
A Conceptual Semantics Ontology for Conceptual Graphs. [Citation Graph (0, 0)][DBLP] ICCS, 1993, pp:312-327 [Conf]
- Mark Willems
Pragmatic Semantics by Conceptual Graphs. [Citation Graph (0, 0)][DBLP] ICCS, 1994, pp:31-44 [Conf]
- Mark Willems
Subsumption in Knowledge Graphs. [Citation Graph (0, 0)][DBLP] PDK, 1991, pp:56-66 [Conf]
- Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards, Mark Willems
Temporal Semantics of Compositional Task Models and Problem Solving Methods. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 1999, v:29, n:1, pp:17-42 [Journal]
- Paul Leemans, Jan Treur, Mark Willems
A semantical perspective on verification of knowledge. [Citation Graph (0, 0)][DBLP] Data Knowl. Eng., 2002, v:40, n:1, pp:33-70 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Int. J. Hum.-Comput. Stud., 1996, v:44, n:3-4, pp:469-520 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] IEEE Trans. Knowl. Data Eng., 2001, v:13, n:3, pp:462-496 [Journal]
Search in 0.004secs, Finished in 0.005secs
|