Mark Willems

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
A semantical perspective on verification of knowledge.
Data Knowl. Eng., 2002

2001
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Trans. Knowl. Data Eng., 2001

1999
Temporal Semantics of Compositional Task Models and Problem Solving Methods.
Data Knowl. Eng., 1999

1998
Specification of Dynamics for Knowledge-Based Systems.
Proceedings of the Transactions and Change in Logic Databases, 1998

1996
Modelling an elevator design task in DESIRE: the VT example.
Int. J. Hum.-Comput. Stud., 1996

The REVISE Project: A Purpose Driven Method for Language Comparison.
Proceedings of the Advances in Knowledge Acquisition, 1996

1995
Projection and Unification for Conceptual Graphs.
Proceedings of the Conceptual Structures: Applications, 1995

Formal Notions for Verification of Dynamics of Knowledge-Based Systems.
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995

1994
Pragmatic Semantics by Conceptual Graphs.
Proceedings of the Conceptual Structures: Current Practices, 1994

A Logical Foundation for Verification.
ECAI, 1994

1993
A Conceptual Semantics Ontology for Conceptual Graphs.
Proceedings of the Conceptual Graphs for Knowledge Representation, 1993

1991
Subsumption in Knowledge Graphs.
Proceedings of the Processing Declarative Knowledge, 1991


  Loading...