Demo Data from EDBT 2026 / reviewers in the wild / expert
Mark Willems
dblp:82/5316
· DBLP profile ↗
5ranked-venue papers
0as first author
0since 2021 · last 2002
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3Databases, data management, data science and information retrieval · 3Graphics, computer vision, multimedia, augmented reality and games · 1Human-computer interaction and ubiquitous computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 100% | |
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge-based systems |
0.0 | 1 | 2001 | A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective · IEEE Trans. Knowl. Data Eng. 2001 |
Logic in computer science › concurrency theory
dynamic behavior specification |
0.0 | 1 | 2001 | A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective · IEEE Trans. Knowl. Data Eng. 2001 |
Logic in computer science
formal specification |
0.0 | 1 | 2001 | A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective · IEEE Trans. Knowl. Data Eng. 2001 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.0 | 1 | 1996 | Modelling an elevator design task in DESIRE: the VT example · Int. J. Hum. Comput. Stud. 1996 |
Requirements engineering and software design
model-driven engineering |
0.0 | 1 | 1996 | Modelling an elevator design task in DESIRE: the VT example · Int. J. Hum. Comput. Stud. 1996 |
Methods — techniques the papers use, named apart from their topics
transaction logic · 0.1abstract state machines · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2002 | A semantical perspective on verification of knowledge
Paul Leemans, Jan Treur, Mark Willems |
Data Knowl. Eng. | 3 |
| 2001 | A Survey of Languages for Specifying Dynamics: A Knowledge Engineering PerspectiveabstractA number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machines. Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems |
IEEE Trans. Knowl. Data Eng. | 6 |
| 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. | 4 |
| 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. | 5 |
| 1994 | A Logical Foundation for Verification
Jan Treur, Mark Willems |
ECAI | 2 |