Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Pe...
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
Alexandra Mazak, Bernhard Schandl, Monika Lanzenbe...
The goal of our research is to develop computer systems that support designers’ collective creativity; such systems support individual creative aspects in design through the use...