Paola Mello

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems 27(1): 85-130 (2013)

Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi: Towards data-aware constraints in declare. SAC 2013: 1391-1396

Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action 2012: 123-146

Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara: A Rule-Based Calculus and Processing of Complex Events. RuleML 2012: 151-166

Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl: Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Autonomous Agents and Multi-Agent Systems 23(2): 193-223 (2011)

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybernetics and Systems 42(7): 546-566 (2011)

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale 5(1): 101-105 (2011)

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Service Res. 8(3): 1-25 (2011)

Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara: Fuzzy Conformance Checking of Observed Behaviour with Expectations. AI*IA 2011: 80-91

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani: Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. Business Process Management Workshops (2) 2011: 200-211

Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127

Michele Fornaciari, Davide Sottara, Andrea Prati, Paola Mello, Rita Cucchiara: An Evidential Fusion Architecture for People Surveillance in Wide Open Areas. HAIS (1) 2011: 239-246

Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara: Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. RuleML America 2011: 267-281

Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, Davide Sottara: Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant. Environmental Modelling and Software 25(5): 648-660 (2010)

Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Inform. 102(3-4): 325-361 (2010)

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: A Logic-Based, Reactive Calculus of Events. Fundam. Inform. 105(1-2): 135-161 (2010)

Paola Mello, Sergio Storari, Bernardo Valli: Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. Intelligenza Artificiale 4(1): 18-26 (2010)

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems 6(2): 165-190 (2010)

Davide Sottara, Paola Mello, Mark Proctor: A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information. IEEE Trans. Knowl. Data Eng. 22(11): 1535-1548 (2010)

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)

Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara: An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) 2010: 438-445

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Role Monitoring in Open Agent Societies. KES-AMSTA (1) 2010: 112-121

Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara: A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. RR 2010: 227-230

Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara: A Rule-Based Implementation of Fuzzy Tableau Reasoning. RuleML 2010: 35-49

Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. T. Petri Nets and Other Models of Concurrency 2: 278-295 (2009)

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani: Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC 2009: 76-87

Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio: A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME 2009: 91-95

Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243

Davide Sottara, Gabriele Colombini, Luca Luccarini, Paola Mello: A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants. HAIS 2009: 368-375

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni: Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009

Davide Sottara, Paola Mello, Mark Proctor: Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. RuleML 2009: 345-352

Gabriele Colombini, Davide Sottara, Luca Luccarini, Paola Mello: A wawelet based heuristic to dimension Neural Networks for simple signal approximation. WIRN 2009: 110-115

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4) (2008)

Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari: Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops 2008: 134-145

Davide Sottara, Paola Mello: Modelling Radial Basis Functions with Rational Logic Rules. HAIS 2008: 337-344

Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454

Paola Mello, Sergio Storari, Bernardo Valli: A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE 2008: 425-434

Anna Ciampolini, Paola Mello, Sergio Storari: An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI 2008: 421-425

Davide Sottara, Paola Mello, Mark Proctor: Adding Uncertainty to a Rete-OO Inference Engine. RuleML 2008: 104-118

Federico Chesani, Anna Ciampolini, Paola Mello: E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context 2008

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72

Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience 8(1) (2007)

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME 2007: 479-488

Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359

Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA 2007: 157-176

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146

Davide Sottara, Luca Luccarini, Paola Mello: AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR. KES (1) 2007: 639-646

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288

Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4): 133-157 (2006)

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping deontic operators to abductive expectations. Computational & Mathematical Organization Theory 12(2-3): 205-225 (2006)

Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro: Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Transactions on Information Technology in Biomedicine 10(1): 143-155 (2006)

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197

Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari: A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS 2006: 338-343

Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali: An abductive framework for a-priori verification of web services. PPDP 2006: 39-50

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72

Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005)

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005)

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based implementation of known arc-consistency. TPLP 5(4-5): 419-440 (2005)

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147

Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari: Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS 2005: 503-505

Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124

Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari: An Expert System for the Oral Anticoagulation Treatment. IEA/AIE 2005: 773-782

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136

Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64

Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari: Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192

Evelina Lamma, Paola Mello, Fabrizio Riguzzi: A System for Measuring Function Points from an ER-DFD Specification. Comput. J. 47(3): 358-372 (2004)

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction using Social Integrity Constraints. Electr. Notes Theor. Comput. Sci. 85(2): 94-116 (2004)

Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari: A knowledge based system for the anticoagulant oral therapy. Intelligenza Artificiale 1(4): 9-15 (2004)

Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339

Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino: Learning the Dose Adjustment for the Oral Anticoagulation Treatment. ISBMDA 2004: 171-181

Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78

Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency. CoRR cs.LO/0408056 (2004)

Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni: Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Ann. Math. Artif. Intell. 37(1-2): 65-91 (2003)

Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova: Validation of biochemical laboratory results using the DNSev expert system. Expert Syst. Appl. 25(4): 503-515 (2003)

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti: Discovering Validation Rules from Microbiological Data. New Generation Comput. 21(2): 123-133 (2003)

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299

Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262

Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma: Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941

Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti: An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. CBMS 2002: 13-20

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCoS 2002: 177-191

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA 2002: 14-26

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27(4): 137-161 (2001)

Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi: An application of machine learning and statistics to defect detection. Intell. Data Anal. 5(2): 151-164 (2001)

Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara: From Eager to Lazy Constrained Data Acquisition: A General Framework. New Generation Comput. 19(4): 339-368 (2001)

Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. Electr. Notes Theor. Comput. Sci. 59(4): 397-411 (2001)

Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari: An Expert System for Microbiological Data Validation and Surveillance. ISMDA 2001: 153-160

Rita Cucchiara, Massimo Piccardi, Paola Mello: Image analysis and rule-based reasoning for a traffic monitoring system. IEEE Transactions on Intelligent Transportation Systems 1(2): 119-130 (2000)

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaborative and Competitive Coordination among Abductive. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 35-43

Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi: A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69

Evelina Lamma, Paola Mello (Eds.): AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings. Lecture Notes in Computer Science 1792, Springer 2000, isbn 3-540-67350-4

Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Exploiting Type Analysis for Unification in a Distributed Environment. Computers and Artificial Intelligence 18(5) (1999)

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Integrating Induction and Abduction in Logic Programming. Inf. Sci. 116(1): 25-54 (1999)

Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in CLP(FD). J. Log. Program. 38(1): 93-110 (1999)

Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello: Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni: An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71

Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano: Least Commitment on Variable Binding in Presence of Incomplete Knowledge. ECP 1999: 159-171

Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi: 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. ICIAP 1999: 508-513

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Domains as First Class Objects in CLP(FD). ICLP 1999: 608

Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi: Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli: Abductive Coordination for Logic Agents. SAC 1999: 134-140

Evelina Lamma, Michela Milano, Paola Mello: Extending Constraint Logic Programming for Temporal Reasoning. Ann. Math. Artif. Intell. 22(1-2): 139-158 (1998)

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello: Optimizing Modular Logic Languages. ACM Comput. Surv. 30(3es): 10 (1998)

Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo: Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. Softw., Pract. Exper. 28(1): 49-76 (1998)

Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi: Interactive Constraint Satisfaction and its Application to Visual Object Recognition. APPIA-GULP-PRODE 1998: 57-70

Evelina Lamma, Paola Mello, Michela Milano: A distributed constraint-based scheduler. AI in Engineering 11(2): 91-105 (1997)

Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello: Blackboard- and Object-Based Systems via Multi-Head Clauses. Computers and Artificial Intelligence 16(4) (1997)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997)

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE 1997: 295-306

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA 1997: 183-194

Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Improving Distributed Unification through Type Analysis. Euro-Par 1997: 1181-1190

Rita Cucchiara, Massimo Piccardi, Michele Bariani, Paola Mello: Learning for Feature Selection and Shape Detection. ICIAP (1) 1997: 535-542

Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413

Massimo Piccardi, Rita Cucchiara, Michele Bariani, Paola Mello: Exploiting Symbolic Learning in Visual Inspection. IDA 1997: 223-234

Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano: An Interactive Constraint-Based System for Selective Attention in Visual Search. ISMIS 1997: 431-440

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: A System for Abductive Learning of Logic Programs. LPKR 1997: 102-122

Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello: Distributed Logic Objects. Comput. Lang. 22(4): 237-258 (1996)

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli: Distributed logic objects: A fragment of rewriting logic and its implementation. Electr. Notes Theor. Comput. Sci. 4: 110-125 (1996)

Anna Ciampolini, Evelina Lamma, Paola Mello: An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Inf. Process. Lett. 58(4): 163-170 (1996)

Evelina Lamma, Paola Mello: An assumption-based truth maintenance system dealing with non-ground justifications. J. Exp. Theor. Artif. Intell. 8(1): 21-42 (1996)

Anna Ciampolini, Evelina Lamma, Paola Mello: An Optimized Implementation of a Dynamic Modular Logic Language. Software - Concepts and Tools 17(4): 148-162 (1996)

Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Comsumption-based Distributed Unification. APPIA-GULP-PRODE 1996: 207-218

Evelina Lamma, Paola Mello, Michela Milano: Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE 1996: 523-534

Evelina Lamma, Paola Mello, Michela Milano: A Meta Constraint Logic Programming Architecture (Extended Abstract). CP 1996: 549-550

Evelina Lamma, Michela Milano, Paola Mello: Combining Solvers in a Meta Constraint Logic Programming Architecture. FroCoS 1996: 267-283

Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani: Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS 1996: 325-334

Evelina Lamma, Paola Mello, Michela Milano: Temporal Reasoning in a Meta Constraint Logic Programming Architecture. TIME 1996: 128-135

Anna Ciampolini, Evelina Lamma, Paola Mello: Improving the Efficiency of Dynamic Modular Logic Languages. GULP-PRODE 1995: 347-358

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343

Michele Bugliesi, Evelina Lamma, Paola Mello: Modularity in Logic Programming. J. Log. Program. 19/20: 443-502 (1994)

Evelina Lamma, Paola Mello: Modularity in Logic Programming. ICLP 1994: 15-17

Evelina Lamma, Paola Mello, Gianfranco Rossi: Parametric Composable Modules in a Logic Programming Language. Comput. Lang. 18(2): 105-123 (1993)

Michele Bugliesi, Evelina Lamma, Paola Mello: Partial Deduction for Structured Logic Programming. J. Log. Program. 16(1): 89-122 (1993)

Antonio Brogi, Evelina Lamma, Paola Mello: Composing Open Logic Programs. J. Log. Comput. 3(4): 417-439 (1993)

Evelina Lamma, Paola Mello: Computing 3-valued Stable Models by using the ATMS. AI*IA 1993: 23-34

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli: Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. ELP 1993: 62-76

Evelina Lamma, Paola Mello (Eds.): Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 660, Springer 1993, isbn 3-540-56454-3

Bruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia: Knowledge-Based Technology for Controlling Railway Stations. IEEE Expert 7(6): 45-52 (1992)

Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello: The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett. 42(6): 331-338 (1992)

Evelina Lamma, Paola Mello, Antonio Natali: An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. J. Log. Program. 14(3&4): 187-222 (1992)

Paola Mello, Antonio Natali: Extending Prolog with Moduarity, Concurrency and Meta-Rules. New Generation Comput. 10(4): 335-360 (1992)

Antonio Brogi, Evelina Lamma, Paola Mello: Compositional Model-Theoretic Semantics for Logic Programs. New Generation Comput. 11(1): 1-21 (1992)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal logic programs as open positive programs. CNKBS 1992: 9-11

Antonio Brogi, Evelina Lamma, Paola Mello: ATMS for Implementing Logic Programming. ECAI 1992: 114-118

Evelina Lamma, Paola Mello: An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. ECAI 1992: 119-123

Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini: Techniques for Implementing Contexts in Logic Programming. ELP 1992: 339-358

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797

Evelina Lamma, Paola Mello: A Rationalisation of the ATMS in Terms of Partial Evaluation. LOPSTR 1992: 118-131

Evelina Lamma, Paola Mello, Antonio Natali: Reflection Mechanisms for Combining Prolog Databases. Softw., Pract. Exper. 21(6): 603-624 (1991)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146

Antonio Brogi, Evelina Lamma, Paola Mello: Open Logic Theories. ELP 1991: 73-88

Antonio Brogi, Evelina Lamma, Paola Mello: Objects in a Logic Programming Framework. RCLP 1991: 102-113

Evelina Lamma, Paola Mello: Processing Abductive Reasoning via Contextual Logic Programming. PDK 1991: 336-343

Antonio Brogi, Evelina Lamma, Paola Mello: Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett. 36(6): 285-291 (1990)

Antonio Brogi, Evelina Lamma, Paola Mello: Inheritance and Hypothetical Reasoning in Logic Programming. ECAI 1990: 105-110

Michele Bugliesi, Evelina Lamma, Paola Mello: Partial Evaluation for Hierarchies of Logic Theories. NACLP 1990: 359-376

Paola Mello: Concurrent objects in a logic programming framework. SIGPLAN Notices 24(4): 37-39 (1989)

Evelina Lamma, Paola Mello, Antonio Natali: The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. ICLP 1989: 303-317

Paola Mello, Antonio Natali, Cristina Ruggieri: Logic Programming in a Software Engineering Perspective. NACLP 1989: 441-458

Marco Cavalieri, Evelina Lamma, Paola Mello: An Extended Prolog Machine for Dynamic Context Handling. ECAI 1988: 284-289

Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali: Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. META 1988: 399-415

Paola Mello, Antonio Natali: Objects as Communicating Prolog Units. ECOOP 1987: 181-191

Paola Mello, Antonio Natali: Programs as Collections of Communicating Prolog Units. ESOP 1986: 274-288