Paola Mello
Orcid: 0000-0002-5929-8193Affiliations:
- University of Bologna, Italy
According to our database1,
Paola Mello
authored at least 213 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
IEEE Trans. Knowl. Data Eng., November, 2023
J. Exp. Theor. Artif. Intell., October, 2023
Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences.
Proceedings of the Enterprise Design, Operations, and Computing, 2022
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 1st Workshop on Artificial Intelligence and Creativity co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022
2020
Generating synthetic positive and negative business process traces through abduction.
Knowl. Inf. Syst., 2020
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling.
Eng. Appl. Artif. Intell., 2020
2019
Complex reactive event processing for assisted living: The Habitat project case study.
Expert Syst. Appl., 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
IEEE Trans. Games, 2018
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.
Fundam. Informaticae, 2018
Fundam. Informaticae, 2018
Future Gener. Comput. Syst., 2018
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
2017
Distributed Compliance Monitoring of Business Processes over MapReduce Architectures.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017
Proceedings of the Business Process Management Workshops, 2017
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
2016
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the Cloud Computing and Services Science - 6th International Conference, 2016
Proceedings of the CLOSER 2016, 2016
Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015
2014
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation.
Proceedings of the Eighth International Conference on Complex, 2014
2013
ACM Trans. Intell. Syst. Technol., 2013
Auton. Agents Multi Agent Syst., 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
2012
Proceedings of the Rules on the Web: Research and Applications, 2012
Proceedings of the Logic Programs, Norms and Action, 2012
Proceedings of the Popularize Artificial Intelligence, 2012
2011
Int. J. Web Serv. Res., 2011
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Intelligenza Artificiale, 2011
Cybern. Syst., 2011
Engineering and verifying agent-oriented requirements augmented by business constraints with <i>B</i>-Tropos.
Auton. Agents Multi Agent Syst., 2011
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011
Proceedings of the Hybrid Artificial Intelligent Systems - 6th International Conference, 2011
Proceedings of the Declarative Agent Languages and Technologies IX, 2011
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.
Proceedings of the Business Process Management Workshops, 2011
Proceedings of the Business Process Management Workshops, 2011
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
2010
ACM Trans. Web, 2010
A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information.
IEEE Trans. Knowl. Data Eng., 2010
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.
Multiagent Grid Syst., 2010
Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends.
Intelligenza Artificiale, 2010
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Fundam. Informaticae, 2010
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant.
Environ. Model. Softw., 2010
Proceedings of the Semantic Web Rules - International Symposium, 2010
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010
2009
Trans. Petri Nets Other Model. Concurr., 2009
A wawelet based heuristic to dimension Neural Networks for simple signal approximation.
Proceedings of the Neural Nets WIRN09, 2009
Proceedings of the Rule Interchange and Applications, International Symposium, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the IJCAI 2009, 2009
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
Proceedings of the Knowledge Representation for Health-Care: Data, 2009
Proceedings of the Artificial Intelligence in Medicine, 2009
Proceedings of the Handbook of Research on Multi-Agent Systems, 2009
2008
ACM Trans. Comput. Log., 2008
Int. J. Electron. Commer., 2008
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008
Proceedings of the Conference Knowledge Construction in E-learning Context: CSCL, 2008
Proceedings of the Rule Representation, 2008
An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios.
Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008
Proceedings of the Artificial Intelligence in Theory and Practice II, 2008
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Hybrid Artificial Intelligence Systems, Third International Workshop, 2008
Proceedings of the Business Process Management Workshops, 2008
Proceedings of the Il Milione (i.e. 2^6), 2008
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008
2007
Specification and Verification of Agent Interaction Protocols in a Logic-based System.
Scalable Comput. Pract. Exp., 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007
Proceedings of the Business Process Management, 5th International Conference, 2007
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.
Proceedings of the Artificial Intelligence in Medicine, 2007
2006
IEEE Trans. Inf. Technol. Biomed., 2006
Comput. Math. Organ. Theory, 2006
Appl. Artif. Intell., 2006
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the SWAP 2006, 2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
2005
Theory Pract. Log. Program., 2005
ACM Trans. Program. Lang. Syst., 2005
Expressing interaction in combinatorial auction through social integrity constraints.
Intelligenza Artificiale, 2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Innovations in Applied Artificial Intelligence, 2005
Proceedings of the Engineering Societies in the Agents World VI, 2005
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005
Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.
Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
A knowledge based system for the anticoagulant oral therapy.
Intelligenza Artificiale, 2004
Comput. J., 2004
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004
Specification and verification of agent interaction protocols in a logic-based system.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004
2003
Expert Syst. Appl., 2003
Specification and Verification of Agent Interaction using Social Integrity Constraints.
Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003
Ann. Math. Artif. Intell., 2003
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Multi-Agent Systems and Applications III, 2003
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003
Interpreting Abduction in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.
Proceedings of the 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.
Proceedings of the Second International Workshop on Rule-Based Programming, 2001
New Gener. Comput., 2001
Intell. Data Anal., 2001
Comput. Lang., 2001
Proceedings of the Medical Data Analysis, Second International Symposium, 2001
2000
IEEE Trans. Intell. Transp. Syst., 2000
Expressing Collaboration And Competition Among Abductive Logic Agents.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000
Proceedings of the Medical Data Analysis, First International Symposium, 2000
Expressing Collaborative and Competitive Coordination among Abductive.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000
1999
Comput. Artif. Intell., 1999
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999
Domains as First Class Objects in CLP(FD).
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.
Softw. Pract. Exp., 1998
Ann. Math. Artif. Intell., 1998
Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
Theor. Comput. Sci., 1997
Comput. Artif. Intell., 1997
Constraint Logic Programming for the Crew Rostering Problem.
Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997
Proceedings of the Advances in Intelligent Data Analysis, 1997
Reasoning on Constraints in Constraint Logic Programming.
Proceedings of the Logic Programming, 1997
Proceedings of the Image Analysis and Processing, 9th International Conference, 1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997
An Algorithm for Learning Abductive Rules.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
An Optimized Implementation of a Dynamic Modular Logic Language.
Softw. Concepts Tools, 1996
J. Exp. Theor. Artif. Intell., 1996
Inf. Process. Lett., 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996
Combining Solvers in a Meta Constraint Logic Programming Architecture.
Proceedings of the Frontiers of Combining Systems, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Comsumption-based Distributed Unification.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
Enhancing Constraint Logic Programming through Meta Programming.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Improving the Efficiency of Dynamic Modular Logic Languages.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994
Modularity in Logic Programming.
Proceedings of the Logic Programming, 1994
1993
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
Proceedings of the Advances in Artificial Intelligence, 1993
1992
New Gener. Comput., 1992
J. Log. Program., 1992
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett., 1992
Proceedings of the Logic Program Synthesis and Transformation, 1992
Normal Logic Programs as Open Positive Programs.
Proceedings of the Logic Programming, 1992
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
ATMS for Implementing Logic Programming.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
Proceedings of the Processing Declarative Knowledge, 1991
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991
Proceedings of the Trends in Artificial Intelligence, 1991
1990
Inf. Process. Lett., 1990
Partial Evaluation for Hierarchies of Logic Theories.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
Inheritance and Hypothetical Reasoning in Logic Programming.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
1989
Logic Programming in a Software Engineering Perspective.
Proceedings of the Logic Programming, 1989
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming.
Proceedings of the Logic Programming, 1989
1988
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.
Proceedings of the Meta-Programming in Logic Programming, 1988
An Extended Prolog Machine for Dynamic Context Handling.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988
1987
Microprocess. Microprogramming, 1987
Proceedings of the ECOOP'87 European Conference on Object-Oriented Programming, 1987
1986
Proceedings of the ESOP 86, 1986