Paola Mello - Citegraph

Author Info

Name	Affiliation	Papers
PAOLA MELLO	DEIS, University of Bologna - V.le Risorgimento 2, 40136 Bologna, Italy. {marco.montali,paolo.torroni,federico.chesani,paola.mello}@unibo.it	29
Collaborators	Citations	PageRank
27	444	21.33
Referers	Referees	References
554	683	529

Search Limit

100683

Publications (29 rows)

Collaborators (27 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Monitoring business constraints with the event calculus	54	1.30	2013
Fuzzy conformance checking of observed behaviour with expectations	4	0.41	2011
Role monitoring in open agent societies	2	0.36	2010
Declarative technologies for open agent systems and beyond	0	0.34	2010
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes	8	0.51	2010
An hybrid architecture integrating forward rules with fuzzy ontological reasoning	14	0.73	2010
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant	8	0.77	2010
Declarative specification and verification of service choreographiess	73	1.92	2010
A Logic-Based, Reactive Calculus of Events	22	0.85	2010
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining	52	1.64	2009
Analysis of the GLARE and GPROVE approaches to clinical guidelines	3	0.51	2009
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance	8	0.63	2009
Modelling Radial Basis Functions with Rational Logic Rules	0	0.34	2008
A Knowledge-Based System for Fashion Trend Forecasting	2	0.38	2008
Checking Compliance of Execution Traces to Business Rules	20	0.75	2008
Verification of Choreographies During Execution Using the Reactive Event Calculus	20	1.10	2008
A rule-based approach for reasoning about collaboration between smart web services	1	0.35	2007
AI techniques for waste water treatment plant control case study: denitrification in a pilot-scale SBR	1	0.45	2007
Inducing declarative logic-based models from labeled traces	34	1.33	2007
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool	8	0.55	2006
A framework for defining and verifying clinical guidelines: a case study on cancer screening	6	0.63	2006
A verifiable logic-based agent architecture	0	0.34	2006
The SCIFF abductive proof-procedure	22	0.93	2005
Abduction with hypotheses confirmation	5	0.48	2005
Security protocols verification in abductive logic programming: a case study	10	0.57	2005
A Logic based Approach to Interaction Design in Open Multi-Agent Systems	8	0.51	2004
A social ACL semantics by deontic constraints	16	0.95	2003
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate	30	0.97	2003
LAILA: a language for coordinating abductive reasoning among logic agents	13	0.75	2001