In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
The market for health care systems supporting physicians and improving their daily routine is steadily growing. The development of these systems requires handling medical knowledg...
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...
A growing part of population is used to performing transactions on-line via the Internet, even in relationships to authorities. Not even the health care sector can escape this tre...
Active object tracking, for example, in surveillance tasks, becomes more and more important these days. Besides the tracking algorithms themselves methodologies have to be develop...