The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
The efficiency of data analysis of 3-d measurement data such as medical images can be enhanced if the expert user is enabled to incorporate his knowledge into the analysis process ...
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...
In machine translation (MT) dierent levels of representation can be used to translate a source language sentence onto its target language equivalent. These levels have to be relat...
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970...