User profiles for Marco Gavanelli
 | Marco GavanelliAssociate Professor, Ferrara University Verified email at unife.it Cited by 2321 |
Verifiable agent interaction in abductive logic programming: the SCIFF framework
SCIFF is a framework thought to specify and verify interaction in open agent societies. The
SCIFF language is equipped with a semantics based on abductive logic programming; …
SCIFF language is equipped with a semantics based on abductive logic programming; …
The log-support encoding of CSP into SAT
M Gavanelli - Principles and Practice of Constraint Programming–CP …, 2007 - Springer
Various encodings have been proposed to convert Constraint Satisfaction Problems (CSP)
into Boolean Satisfiability problems (SAT). Some of them use a logical variable for each …
into Boolean Satisfiability problems (SAT). Some of them use a logical variable for each …
Sustainable policy making: A strategic challenge for artificial intelligence
Policy making is an extremely complex process occurring in changing environments and
affecting the three pillars of sustainable development: society, economy and the environment. …
affecting the three pillars of sustainable development: society, economy and the environment. …
Modeling opinion polarization on social media: Application to Covid-19 vaccination hesitancy in Italy
The SARS-CoV-2 pandemic reminded us how vaccination can be a divisive topic on which
the public conversation is permeated by misleading claims, and thoughts tend to polarize, …
the public conversation is permeated by misleading claims, and thoughts tend to polarize, …
An efficient propositional system for Abductive Logic Programming
Abductive logic programming (ALP) extends logic programming with hypothetical reasoning
by means of abducibles, an extension able to handle interesting problems, such as …
by means of abducibles, an extension able to handle interesting problems, such as …
Specification and verification of agent interaction protocols in a logic-based system
In multiagent systems, agent interaction is ruled by means of interaction protocols. Compliance
to protocols can be hardwired in agent programs; however, this requires that only "…
to protocols can be hardwired in agent programs; however, this requires that only "…
Compliance verification of agent interaction: a logic-based software tool
<p>In open societies of agents, where agents are autonomous and heterogeneous, it is not
realistic to assume that agents will always act so as to comply with interaction protocols. Thus…
realistic to assume that agents will always act so as to comply with interaction protocols. Thus…
Expressing and verifying business contracts with abductive logic programming
SCIFF is a declarative language, based on abductive logic programming, that accommodates
forward rules, predicate definitions, and constraints over finite domain variables. Its …
forward rules, predicate definitions, and constraints over finite domain variables. Its …
An ASP approach for the valves positioning optimization in a water distribution system
M Gavanelli, M Nonato, A Peano - Journal of Logic and …, 2013 - academic.oup.com
Positioning of valves is a real-life issue in Water Distribution System (WDS) design and,
currently, it is usually addressed by hydraulic engineers either by hand or by means of genetic …
currently, it is usually addressed by hydraulic engineers either by hand or by means of genetic …
Modelling interactions via commitments and expectations
Organizational models often rely on two assumptions: openness and heterogeneity. This is,
for instance, the case with organizations consisting of individuals whose behaviour is …
for instance, the case with organizations consisting of individuals whose behaviour is …