Mark Willems

According to our database, Mark Willems authored at least 12 papers between 1991 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

A semantical perspective on verification of knowledge.

Paul Leemans, Jan Treur, Mark Willems

Data Knowl. Eng., 2002

2001

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems

IEEE Trans. Knowl. Data Eng., 2001

1999

Temporal Semantics of Compositional Task Models and Problem Solving Methods.

Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards, Mark Willems

Data Knowl. Eng., 1999

1998

Specification of Dynamics for Knowledge-Based Systems.

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems

Proceedings of the Transactions and Change in Logic Databases, 1998

1996

Modelling an elevator design task in DESIRE: the VT example.

Frances M. T. Brazier, Pieter H. G. van Langen, Jan Treur, Niek J. E. Wijngaards, Mark Willems

Int. J. Hum. Comput. Stud., 1996

The REVISE Project: A Purpose Driven Method for Language Comparison.

Frances M. T. Brazier, Frank van Harmelen, Remco Straatman, Jan Treur, Niek J. E. Wijngaards, Mark Willems

Proceedings of the Advances in Knowledge Acquisition, 1996

1995

Projection and Unification for Conceptual Graphs.

Mark Willems

Proceedings of the Conceptual Structures: Applications, 1995

Formal Notions for Verification of Dynamics of Knowledge-Based Systems.

Jan Treur, Mark Willems

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

1994

Pragmatic Semantics by Conceptual Graphs.

Mark Willems

Proceedings of the Conceptual Structures: Current Practices, 1994

A Logical Foundation for Verification.

Jan Treur, Mark Willems

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

A Conceptual Semantics Ontology for Conceptual Graphs.

Mark Willems

Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

1991

Subsumption in Knowledge Graphs.

Mark Willems

Proceedings of the Processing Declarative Knowledge, 1991