Search results for "Paola Mello"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Reactive Event Calculus for Monitoring Global Computing Applications.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.	Cybernetics and Systems	2011	DBLP DOI BibTeX RDF
1	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.	2011	DBLP DOI BibTeX RDF
1	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	2011	DBLP DOI BibTeX RDF
1	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	2011	DBLP DOI BibTeX RDF
1	Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali	A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.	DALT	2011	DBLP DOI BibTeX RDF
1	Michele Fornaciari, Davide Sottara, Andrea Prati, Paola Mello, Rita Cucchiara	An Evidential Fusion Architecture for People Surveillance in Wide Open Areas.	HAIS	2011	DBLP DOI BibTeX RDF
1	Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara	Fuzzy Conformance Checking of Observed Behaviour with Expectations.	AI*IA	2011	DBLP DOI BibTeX RDF
1	Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara	Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.	RuleML America	2011	DBLP DOI BibTeX RDF
1	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 Muñoz-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 0001, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn	Process Mining Manifesto.	Business Process Management Workshops	2011	DBLP DOI BibTeX RDF
1	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	2011	DBLP DOI BibTeX RDF
1	Davide Sottara, Paola Mello, Mark Proctor	A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	nonmonotonic reasoning and belief revision, “fuzzy” and probabilistic reasoning, uncertainty, Inference engines, rule-based processing
1	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	2010	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	A Logic-Based, Reactive Calculus of Events.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	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.	2010	DBLP DOI BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari	Declarative specification and verification of service choreographiess.	TWEB	2010	DBLP DOI BibTeX RDF
1	Paola Mello, Sergio Storari, Bernardo Valli	Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends.	Intelligenza Artificiale	2010	DBLP BibTeX RDF
1	Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara	An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.	HAIS	2010	DBLP DOI BibTeX RDF
1	Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara	A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules.	RR	2010	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Role Monitoring in Open Agent Societies.	KES-AMSTA	2010	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Declarative Technologies for Open Agent Systems and Beyond.	KES-AMSTA	2010	DBLP DOI BibTeX RDF
1	Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara	A Rule-Based Implementation of Fuzzy Tableau Reasoning.	RuleML	2010	DBLP DOI BibTeX RDF
1	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	2009	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Commitment Tracking via the Reactive Event Calculus.	IJCAI	2009	DBLP BibTeX RDF
1	Gabriele Colombini, Davide Sottara, Luca Luccarini, Paola Mello	A wawelet based heuristic to dimension Neural Networks for simple signal approximation.	WIRN	2009	DBLP DOI BibTeX RDF
1	Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali	Social Commitments in Time: Satisfied or Compensated.	DALT	2009	DBLP DOI BibTeX RDF
1	Davide Sottara, Gabriele Colombini, Luca Luccarini, Paola Mello	A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants.	HAIS	2009	DBLP DOI BibTeX RDF
1	Davide Sottara, Paola Mello, Mark Proctor	Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems.	RuleML	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verifying A-Priori the Composition of Declarative Specified Services.	MALLOW	2009	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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.	2008	DBLP DOI BibTeX RDF	Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
1	Anna Ciampolini, Paola Mello, Sergio Storari	An Abductive Multi-Agent System for Medical Services Coordination.	IFIP AI	2008	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
1	Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello	Verification from Declarative Specifications Using Logic Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Federico Chesani, Anna Ciampolini, Paola Mello	E-learning by Doing with Computational Logic.	Knowledge Construction in E-learning Context	2008	DBLP BibTeX RDF
1	Paola Mello, Sergio Storari, Bernardo Valli	A Knowledge-Based System for Fashion Trend Forecasting.	IEA/AIE	2008	DBLP DOI BibTeX RDF
1	Davide Sottara, Paola Mello	Modelling Radial Basis Functions with Rational Logic Rules.	HAIS	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Radial Basis Function, Induction
1	Davide Sottara, Paola Mello, Mark Proctor	Adding Uncertainty to a Rete-OO Inference Engine.	RuleML	2008	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.	SWAP	2008	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	2007	DBLP BibTeX RDF
1	Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone	-Tropos.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni	Web Service Contracting: Specification and Reasoning with SCIFF.	ESWC	2007	DBLP DOI BibTeX RDF
1	Davide Sottara, Luca Luccarini, Paola Mello	AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR.	KES	2007	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Federico Chesani, Paola Mello, Marco Montali, Sergio Storari	Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.	AIME	2007	DBLP DOI BibTeX RDF	Careflow management, Conformance verification, Computational logic, Clinical practice guidelines
1	Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari	Applying Inductive Logic Programming to Process Mining.	ILP	2007	DBLP DOI BibTeX RDF	Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols
1	Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari	Inducing Declarative Logic-Based Models from Labeled Traces.	BPM	2007	DBLP DOI BibTeX RDF	Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation
1	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	2006	DBLP DOI BibTeX RDF
1	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	2006	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor	Mapping deontic operators to abductive expectations.	Computational & Mathematical Organization Theory	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello	A Verifiable Logic-Based Agent Architecture.	ISMIS	2006	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali	An abductive framework for a-priori verification of web services.	PPDP	2006	DBLP DOI BibTeX RDF	web services, formal verification, constraints, choreographies, abduction
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello	Policy-based Reasoning for Smart Web Service Interaction.	SWAP	2006	DBLP BibTeX RDF
1	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Dealing with incomplete knowledge on CLP(FD) variable domains.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	domain acquisition, interaction, Constraints, streams, sets, lazy evaluation
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	A CHR-based implementation of known arc-consistency.	TPLP	2005	DBLP DOI BibTeX RDF
1	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	2005	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Abduction with Hypotheses Confirmation.	IJCAI	2005	DBLP BibTeX RDF
1	Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari	Protocol Specification and Verification by Using Computational Logic.	WOA	2005	DBLP BibTeX RDF
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Security Protocols Verification in Abductive Logic Programming: A Case Study.	ESAW	2005	DBLP DOI BibTeX RDF
1	Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari	Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.	CBMS	2005	DBLP DOI BibTeX RDF
1	Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari	An Expert System for the Oral Anticoagulation Treatment.	IEA/AIE	2005	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	The SCIFF Abductive Proof-Procedure.	AI*IA	2005	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor	Mapping of Deontic Operators to Abductive Expectations.	NORMAS	2005	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	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.	2004	DBLP DOI BibTeX RDF
1	Evelina Lamma, Paola Mello, Fabrizio Riguzzi	A System for Measuring Function Points from an ER-DFD Specification.	Comput. J.	2004	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	A CHR-based Implementation of Known Arc-Consistency	CoRR	2004	DBLP BibTeX RDF
1	Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari	A knowledge based system for the anticoagulant oral therapy.	Intelligenza Artificiale	2004	DBLP BibTeX RDF
1	Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	An Abductive Framework for Information Exchange in Multi-agent Systems.	CLIMA	2004	DBLP DOI BibTeX RDF
1	Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino	Learning the Dose Adjustment for the Oral Anticoagulation Treatment.	ISBMDA	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	verification, agents, computational logic
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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.	2003	DBLP DOI BibTeX RDF
1	Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti	Discovering Validation Rules from Microbiological Data.	New Generation Comput.	2003	DBLP DOI BibTeX RDF
1	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.	2003	DBLP DOI BibTeX RDF
1	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni	Interpreting Abduction in CLP.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.	DALT	2003	DBLP DOI BibTeX RDF
1	Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	An Abductive Interpretation for Open Agent Societies.	AI*IA	2003	DBLP DOI BibTeX RDF
1	Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	A Social ACL Semantics by Deontic Constraints.	CEEMAS	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni	A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.	JELIA	2002	DBLP DOI BibTeX RDF
1	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Exploiting Constraints for Domain Managing in CLP(FD).	FroCos	2002	DBLP DOI BibTeX RDF
1	Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma	Coordinating the safe execution of tasks in a constrained multi-agent system.	AAMAS	2002	DBLP DOI BibTeX RDF
1	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.	2001	DBLP DOI BibTeX RDF
1	Rita Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi	An application of machine learning and statistics to defect detection.	Intell. Data Anal.	2001	DBLP BibTeX RDF
1	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.	2001	DBLP DOI BibTeX RDF
1	Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni	LAILA: a language for coordinating abductive reasoning among logic agents.	Comput. Lang.	2001	DBLP DOI BibTeX RDF
1	Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari	An Expert System for Microbiological Data Validation and Surveillance.	ISMDA	2001	DBLP DOI BibTeX RDF
1	Rita Cucchiara, Massimo Piccardi, Paola Mello	Image analysis and rule-based reasoning for a traffic monitoring system.	IEEE Transactions on Intelligent Transportation Systems	2000	DBLP DOI BibTeX RDF
1	Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni	Expressing Collaboration And Competition Among Abductive Logic Agents.	WOA	2000	DBLP BibTeX RDF
1	Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi	A System for Monitoring Nosocomial Infections.	ISMDA	2000	DBLP DOI BibTeX RDF

Publications of "Paola Mello" ( http://dblp.L3S.de/Authors/Paola_Mello )