Pubblicazioni

Currently submitted papers

Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira. Observation strategies for event detection, with incidence on runtime verification: Theory, algorithms, experimentation.

Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico Chesani, Marco Montali, Paola Mello, and Paolo Torroni. Integrating abductive logic programming and description logics in a dynamic contracting architecture.