Data mining techniques frequently find a large number of patterns or rules, which make it very difficult for a human analyst to interpret the results and to find the truly interes...
Kaidi Zhao, Bing Liu, Thomas M. Tirpak, Weimin Xia...
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
: We present an implementation of a multi-agent system whose goal is to solve the problem of tacit knowledge transfer by means of sharing of experiences. In particular, we consider...
Enrico Blanzieri, Paolo Giorgini, Claudio Zanoni, ...
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...