The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark Willems: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Jan Treur, Mark Willems
    A Logical Foundation for Verification. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:745-749 [Conf]
  3. 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]
  4. 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]
  5. Mark Willems
    Projection and Unification for Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1995, pp:278-292 [Conf]
  6. Mark Willems
    A Conceptual Semantics Ontology for Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1993, pp:312-327 [Conf]
  7. Mark Willems
    Pragmatic Semantics by Conceptual Graphs. [Citation Graph (0, 0)][DBLP]
    ICCS, 1994, pp:31-44 [Conf]
  8. Mark Willems
    Subsumption in Knowledge Graphs. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:56-66 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002