•  31
    L'ora Del vero sentire. DAlla perdita Dell'evidenza naturale Alla rivelazione Delirante
    with C. F. Muscatello, F. Boaron, P. Scudellari, and I. le
    Comprendre 13 121. 2003.
  •  41
    Model-based chemical compound formulation
    with Stefania Bandini and Matteo Palmonari
    In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine, Springer. pp. 413--430. 2007.
  •  12
    Intelligent Alarm Correlation and Abductive Reasoning
    with Stefania Bandini and Matteo Palmonari
    Logic Journal of the IGPL 14 (2): 347-362. 2006.
    The main aim of this paper is to present a way to improve the e.ciency of an intelligent alarm correlation module by means of an abductive reasoner. The alarm correlation module is integrated in a more complex system that performs monitoring and control tasks over a tract of a highway. On the basis of a specific theory on the domain, explanations of anomalous traffic patterns can be provided taking into account those situations not directly detected by data acquisition technology. The integratio…Read more