This chapter discusses the application of some of the technologies of the adaptive web to the problem of providing information for healthcare consumers. The particular issues relat...
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, it can, for instance, be u...
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
This paper introduces a neurologically inspired computational model for the emergence of group decisions. The model combines an individual decision making model based on Damasio...
Mark Hoogendoorn, Jan Treur, C. Natalie van der Wa...
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...