Follow
Paola Mello
Paola Mello
Professore di Informatica, Universita' di Bologna
Verified email at unibo.it
Title
Cited by
Cited by
Year
Process mining manifesto
W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ...
Business Process Management Workshops: BPM 2011 International Workshops …, 2012
19682012
Image analysis and rule-based reasoning for a traffic monitoring system
R Cucchiara, M Piccardi, P Mello
IEEE transactions on intelligent transportation systems 1 (2), 119-130, 2000
6242000
Declarative specification and verification of service choreographiess
M Montali, M Pesic, WMP Aalst, F Chesani, P Mello, S Storari
ACM Transactions on the Web (TWEB) 4 (1), 1-62, 2010
3072010
Verifiable agent interaction in abductive logic programming: the SCIFF framework
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008
2152008
Modularity in logic programming
M Bugliesi, E Lamma, P Mello
The Journal of Logic Programming 19, 443-502, 1994
2011994
Monitoring business constraints with the event calculus
M Montali, FM Maggi, F Chesani, P Mello, WMP Aalst
ACM transactions on intelligent systems and technology (TIST) 5 (1), 1-30, 2014
1632014
Exploiting inductive logic programming techniques for declarative process mining
F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009
1272009
HABITAT: An IoT solution for independent elderly
E Borelli, G Paolini, F Antoniazzi, M Barbiroli, F Benassi, F Chesani, ...
Sensors 19 (5), 1258, 2019
1262019
Compliance verification of agent interaction: a logic-based software tool
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Applied Artificial Intelligence 20 (2-4), 133-157, 2006
1202006
Representing and monitoring social commitments using the event calculus
F Chesani, P Mello, M Montali, P Torroni
Autonomous Agents and Multi-Agent Systems 27 (1), 85-130, 2013
992013
Specification and verification of agent interaction protocols in a logic-based system
M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello
Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004
962004
Inducing declarative logic-based models from labeled traces
E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Business Process Management: 5th International Conference, BPM 2007 …, 2007
952007
Applying inductive logic programming to process mining
E Lamma, P Mello, F Riguzzi, S Storari
Inductive Logic Programming: 17th International Conference, ILP 2007 …, 2008
922008
Integrating constraint logic programming and operations research techniques for the crew rostering problem
A Caprara, F Focacci, E Lamma, P Mello, M Milano, P Toth, D Vigo
Software: Practice and Experience 28 (1), 49-76, 1998
811998
Commitment Tracking via the Reactive Event Calculus.
F Chesani, P Mello, M Montali, P Torroni
IJCAI 9, 91-96, 2009
792009
Towards data-aware constraints in declare
M Montali, F Chesani, P Mello, FM Maggi
Proceedings of the 28th annual ACM symposium on applied computing, 1391-1396, 2013
772013
Constraint propagation and value acquisition: why we should do it interactively
E Lamma, P Mello, M Milano, R Cucchiara, M Gavanelli, M Piccardi
IJCAI 99, 467-473, 1999
771999
A configurable rete-oo engine for reasoning with different types of imperfect information
D Sottara, P Mello, M Proctor
IEEE Transactions on Knowledge and Data Engineering 22 (11), 1535-1548, 2010
742010
Specification and verification of agent interaction using social integrity constraints
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004
702004
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant
L Luccarini, GL Bragadin, G Colombini, M Mancini, P Mello, M Montali, ...
Environmental Modelling & Software 25 (5), 648-660, 2010
662010
The system can't perform the operation now. Try again later.
Articles 1–20