Paola Mello

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Optimising business process discovery using answer set programming	2023-04-04	Paper
An abductive framework for extended logic programming	2022-08-30	Paper
Model agnostic solution of CSPs via deep learning: a preliminary study	2018-11-21	Paper
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*	2018-10-02	Paper
Evaluating Compliance: From LTL to Abductive Logic Programming	2018-05-03	Paper
Verifiable agent interaction in abductive logic programming	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2844044	2013-08-27	Paper
Reactive Event Calculus for Monitoring Global Computing Applications	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3005894	2011-06-10	Paper
A Logic-Based, Reactive Calculus of Events	2011-03-28	Paper
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework	2010-09-14	Paper
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
Social Commitments in Time: Satisfied or Compensated	2010-02-02	Paper
Specification and Verification of Agent Interaction Using Abductive Reasoning	2009-04-28	Paper
${\cal B}$ -Tropos	2009-02-12	Paper
Verification from Declarative Specifications Using Logic Programming	2009-01-22	Paper
Applying Inductive Logic Programming to Process Mining	2008-03-28	Paper
Mapping deontic operators to abductive expectations	2006-10-16	Paper
AI*IA 2005: Advances in Artificial Intelligence	2006-06-27	Paper
A CHR-based implementation of known arc-consistency	2005-10-18	Paper
Computational Logic in Multi-Agent Systems	2005-08-19	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4817796	2004-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4813443	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4737133	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530883	2004-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4446493	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4708903	2003-06-20	Paper
Cooperation and competition in ALIAS: A logic framework for agents that negotiate	2003-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4537120	2002-11-06	Paper
From eager or lazy constrained data acquisition: A general framework	2002-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4529648	2002-05-05	Paper
LAILA: a language for coordinating abductive reasoning among logic agents	2002-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2729720	2001-10-23	Paper
Extending constraint logic programming for temporal reasoning	2000-09-10	Paper
Integrating induction and abduction in logic programming	2000-01-04	Paper
Reasoning on constraints in CLP(FD)	1999-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4222855	1998-12-20	Paper
A unifying view for logic programming with non-monotonic reasoning	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4365371	1998-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4385448	1998-04-13	Paper
An abstract interpretation framework for optimizing dynamic modular logic languages	1997-02-27	Paper
An assumption-based truth maintenance system dealing with non-ground justifications	1996-06-09	Paper
Composing Open Logic Programs	1994-03-22	Paper
Partial deduction for structured logic programming	1993-11-17	Paper
Compositional model-theoretic semantics for logic programs	1993-04-01	Paper
The implementation of a distributed model for logic programming based on multiple-headed clauses	1993-01-16	Paper
Hypothetical reasoning in logic programming: A semantic approach	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713567	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paola Mello