Paola Mello Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio 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
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Torroni, Federico Chesani, Paola Mello, Marco Montali: Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Sottara, Paola Mello, Mark Proctor: Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems. RuleML 2009: 345-352
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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)
2008
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Sottara, Paola Mello: Modelling Radial Basis Functions with Rational Logic Rules. HAIS 2008: 337-344
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Mello, Sergio Storari, Bernardo Valli: A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE 2008: 425-434
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Paola Mello, Sergio Storari: An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI 2008: 421-425
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Anna Ciampolini, Paola Mello: E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context 2008
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Sottara, Paola Mello, Mark Proctor: Adding Uncertainty to a Rete-OO Inference Engine. RuleML 2008: 104-118
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
2007
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Paola Mello, Marco Montali, Sergio Storari: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME 2007: 479-488
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA VIII 2007: 157-176
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
2006
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina 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)
2005
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Paola Mello, Marco Montali, Sergio Storari: Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS 2005: 503-505
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA VI 2005: 243-264
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari: An Expert System for the Oral Anticoagulation Treatment. IEA/AIE 2005: 773-782
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based implementation of known arc-consistency. TPLP 5(4-5): 419-440 (2005)
2004
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA IV 2004: 34-52
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino: Learning the Dose Adjustment for the Oral Anticoagulation Treatment. ISBMDA 2004: 171-181
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency CoRR cs.LO/0408056: (2004)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Fabrizio Riguzzi: A System for Measuring Function Points from an ER-DFD Specification. Comput. J. 47(3): 358-372 (2004)
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenedetta 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)
2003
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti: Discovering Validation Rules from Microbiological Data. New Generation Comput. 21(2): (2003)
2002
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma: Coordinating the safe execution of tasks in a constrained multi-agent system. AAMAS 2002: 940-941
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCos 2002: 177-191
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. JELIA 2002: 14-26
2001
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari: An Expert System for Microbiological Data Validation and Surveillance. ISMDA 2001: 153-160
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: LAILA: a language for coordinating abductive reasoning among logic agents. Comput. Lang. 27(4): 137-161 (2001)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina 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): (2001)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita 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)
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola 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)
2000
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings Springer 2000
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi: A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaboration And Competition Among Abductive Logic Agents. WOA 2000: 64-69
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita 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)
1999
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni: An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello: Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano: Least Commitment on Variable Binding in Presence of Incomplete Knowledge. ECP 1999: 159-171
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi: 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. ICIAP 1999: 508-513
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Domains as First Class Objects in CLP(FD). ICLP 1999: 608
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli: Abductive Coordination for Logic Agents. SAC 1999: 134-140
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Exploiting Type Analysis for Unification in a Distributed Environment. Computers and Artificial Intelligence 18(5): (1999)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Integrating Induction and Abduction in Logic Programming. Inf. Sci. 116(1): 25-54 (1999)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in CLP(FD). J. Log. Program. 38(1): 93-110 (1999)
1998
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello: Optimizing Modular Logic Languages. ACM Comput. Surv. 30(3es): 10 (1998)
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Michela Milano, Paola Mello: Extending Constraint Logic Programming for Temporal Reasoning. Ann. Math. Artif. Intell. 22(1-2): 139-158 (1998)
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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)
1997
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA 1997: 183-194
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE 1997: 295-306
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Improving Distributed Unification through Type Analysis. Euro-Par 1997: 1181-1190
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita Cucchiara, Massimo Piccardi, Michele Bariani, Paola Mello: Learning for Feature Selection and Shape Detection. ICIAP (1) 1997: 535-542
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Piccardi, Rita Cucchiara, Michele Bariani, Paola Mello: Exploiting Symbolic Learning in Visual Inspection. IDA 1997: 223-234
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano: An Interactive Constraint-Based System for Selective Attention in Visual Search. ISMIS 1997: 431-440
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: A System for Abductive Learning of Logic Programs. LPKR 1997: 102-122
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano: A distributed constraint-based scheduler. AI in Engineering 11(2): 91-105 (1997)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello: Blackboard- and Object-Based Systems via Multi-Head Clauses. Computers and Artificial Intelligence 16(4): (1997)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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)
1996
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck: Comsumption-based Distributed Unification. APPIA-GULP-PRODE 1996: 207-218
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano: Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE 1996: 523-534
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano: A Meta Constraint Logic Programming Architecture (Extended Abstract). CP 1996: 549-550
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Michela Milano, Paola Mello: Combining Solvers in a Meta Constraint Logic Programming Architecture. Frontiers of Combining Systems (FroCos) 1996: 267-283
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani: Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS 1996: 325-334
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Michela Milano: Temporal Reasoning in a Meta Constraint Logic Programming Architecture. TIME 1996
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello: Distributed Logic Objects. Comput. Lang. 22(4): 237-258 (1996)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli: Distributed logic objects: A fragment of rewriting logic and its implementation. Electr. Notes Theor. Comput. Sci. 4: (1996)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello: An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Inf. Process. Lett. 58(4): 163-170 (1996)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: An assumption-based truth maintenance system dealing with non-ground justifications. J. Exp. Theor. Artif. Intell. 8(1): 21-42 (1996)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello: An Optimized Implementation of a Dynamic Modular Logic Language. Software - Concepts and Tools 17(4): 148-162 (1996)
1995
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Ciampolini, Evelina Lamma, Paola Mello: Improving the Efficiency of Dynamic Modular Logic Languages. GULP-PRODE 1995: 347-358
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343
1994
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: Modularity in Logic Programming. ICLP 1994: 15-17
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Evelina Lamma, Paola Mello: Modularity in Logic Programming. J. Log. Program. 19/20: 443-502 (1994)
1993
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings Springer 1993
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: Computing 3-valued Stable Models by using the ATMS. AI*IA 1993: 23-34
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Gianfranco Rossi: Parametric Composable Modules in a Logic Programming Language. Comput. Lang. 18(2): 105-123 (1993)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: Composing Open Logic Programs. J. Log. Comput. 3(4): 417-439 (1993)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Evelina Lamma, Paola Mello: Partial Deduction for Structured Logic Programming. J. Log. Program. 16(1): 89-122 (1993)
1992
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal logic programs as open positive programs. CNKBS 1992: 9-11
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: ATMS for Implementing Logic Programming. ECAI 1992: 114-118
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. ECAI 1992: 119-123
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini: Techniques for Implementing Contexts in Logic Programming. ELP 1992: 339-358
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: A Rationalisation of the ATMS in Terms of Partial Evaluation. LOPSTR 1992: 118-131
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Fringuelli, Evelina Lamma, Paola Mello, Giovanni Santocchia: Knowledge-Based Technology for Controlling Railway Stations. IEEE Expert 7(6): 45-52 (1992)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina 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)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Mello, Antonio Natali: Extending Prolog with Moduarity, Concurrency and Meta-Rules. New Generation Comput. 10(4): 335-360 (1992)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: Compositional Model-Theoretic Semantics for Logic Programs. New Generation Comput. 11(1): 1-21 (1992)
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: Open Logic Theories. ELP 1991: 73-88
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello: Processing Abductive Reasoning via Contextual Logic Programming. PDK 1991: 336-343
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: Objects in a Logic Programming Framework. RCLP 1991: 102-113
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Antonio Natali: Reflection Mechanisms for Combining Prolog Databases. Softw., Pract. Exper. 21(6): 603-624 (1991)
1990
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: Inheritance and Hypothetical Reasoning in Logic Programming. ECAI 1990: 105-110
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Evelina Lamma, Paola Mello: Partial Evaluation for Hierarchies of Logic Theories. NACLP 1990: 359-376
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Evelina Lamma, Paola Mello: Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett. 36(6): 285-291 (1990)
1989
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvelina Lamma, Paola Mello, Antonio Natali: The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. ICLP 1989: 303-317
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Mello, Antonio Natali, Cristina Ruggieri: Logic Programming in a Software Engineering Perspective. NACLP 1989: 441-458
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Mello: Concurrent objects in a logic programming framework. SIGPLAN Notices 24(4): 37-39 (1989)
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cavalieri, Evelina Lamma, Paola Mello: An Extended Prolog Machine for Dynamic Context Handling. ECAI 1988: 284-289
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali: Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. META 1988: 399-415
1987
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Mello, Antonio Natali: Objects as Communicating Prolog Units. ECOOP 1987: 181-191
1986
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Mello, Antonio Natali: Programs as Collections of Communicating Prolog Units. ESOP 1986: 274-288

Coauthor Index

1Marco Alberti [90] [91] [93] [96] [97] [98] [100] [102] [103] [105] [106] [107] [108] [110] [111] [113] [115] [116] [117] [118] [120] [121] [122] [125] [129] [136] [143]
2Benedetta Barbieri [94] [109]
3Michele Bariani [53] [55]
4Rosy Barruffi [70]
5Alessio Bottrighi [146]
6Antonio Brogi [8] [10] [12] [14] [15] [16] [19] [22] [25] [26] [28] [35] [48]
7Vittorio Brusoni [43]
8Volha Bryl [126]
9Michele Bugliesi [9] [27] [33] [61]
10G. Canova [88]
11Alberto Caprara [59]
12Massimiliano Cattafi [143]
13Marco Cavalieri [3] [4]
14Federico Chesani [97] [100] [103] [105] [106] [110] [111] [115] [116] [117] [118] [119] [120] [121] [122] [125] [128] [129] [130] [131] [133] [136] [138] [139] [141] [142] [143] [145] [146]
15Anna Ciampolini [19] [30] [36] [37] [39] [40] [41] [49] [61] [66] [72] [74] [76] [81] [83] [86] [89] [91] [105] [112] [133] [134]
16Gabriele Colombini [144]
17Luca Console [43]
18Rita Cucchiara [52] [53] [55] [62] [67] [69] [73] [78] [79]
19Davide Daolio [98]
20Enrico Denti [23]
21Filippo Focacci [59]
22Bruno Fringuelli [20]
23Giacomo Gamberoni [94] [99] [109]
24Marco Gavanelli [67] [68] [71] [78] [84] [90] [91] [92] [93] [96] [97] [98] [100] [101] [102] [103] [104] [106] [107] [108] [110] [111] [113] [115] [116] [117] [118] [120] [121] [122] [125] [129] [136] [143]
25Alessio Guerri [103] [106]
26Pascal Van Hentenryck [47] [56] [65]
27Evelina Lamma [3] [4] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [54] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [74] [75] [76] [77] [78] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [106] [107] [108] [109] [110] [111] [113] [114] [115] [116] [117] [118] [120] [121] [122] [124] [125] [127] [129] [136] [139] [143]
28Luca Luccarini [123] [144]
29L. Maestrami [80]
30Paolo Mancarella [15] [22] [26] [35] [48]
31R. Mancini [88]
32M. Manservigi [75]
33Pietro De Matteis [119]
34Michela Milano [42] [43] [44] [45] [46] [50] [51] [52] [54] [57] [58] [59] [60] [62] [63] [64] [67] [68] [69] [70] [71] [78] [84] [92] [96] [102] [104] [106]
35G. Modestino [85]
36Gianpaolo Molino [146]
37Marco Montali [105] [112] [116] [118] [119] [121] [122] [125] [126] [127] [128] [130] [131] [136] [138] [139] [141] [142] [143] [145] [146]
38Stefania Montani [146]
39R. Motta [88]
40Anna Nanetti [82] [85] [87] [114]
41Antonio Natali [1] [2] [3] [6] [7] [11] [17] [18] [23]
42Andrea Omicini [23]
43D. Patrono [88]
44Piercamillo Pavesi [94] [99] [109]
45Massimo Piccardi [53] [55] [62] [67] [69] [73] [78] [79]
46G. Poli [82]
47Mark Proctor [132] [140]
48Fabrizio Riguzzi [51] [57] [58] [64] [75] [79] [80] [82] [85] [87] [95] [114] [124] [127] [138] [139]
49Gianfranco Rossi [29]
50Cristina Ruggieri [6]
51Giovanni Santocchia [20]
52Giovanni Sartor [107]
53Maurizio Sebastianis [138]
54Davide Sottara [123] [132] [137] [140] [144]
55Cesare Stefanelli [30] [40] [41] [47] [49] [56] [65] [66] [72]
56Sergio Storari [75] [80] [82] [85] [87] [88] [94] [99] [105] [109] [112] [114] [116] [119] [124] [127] [128] [134] [135] [138] [139] [146]
57Paolo Terenziani [43] [146]
58Francesca Toni [89]
59Mauro Torchio [146]
60Paolo Torroni [72] [74] [76] [81] [83] [86] [89] [90] [91] [92] [93] [97] [98] [100] [101] [103] [105] [106] [107] [108] [110] [111] [113] [115] [116] [121] [122] [125] [126] [129] [130] [131] [136] [141] [142] [143] [145]
61Paolo Toth [59]
62Giuseppe Trocino [99]
63Gianfranco Valastro [114]
64Bernardo Valli [135]
65Daniele Vigo [59]
66Nicola Zannone [126]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)