Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     dettagli >>
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46:1-46:20, Anno: 2018

cplint on SWISH: Probabilistic Logical Inference with a Web Browser
Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 47-64, Anno: 2017

A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination
S. Balbi;C. Giupponi;P. Perez;M. Alberti     dettagli >>
ENVIRONMENTAL MODELLING & SOFTWARE
Vol. 45, No. 1, pp: 29-51, Anno: 2013

The CHR-based Implementation of the SCIFF Abductive System
Marco Alberti; Marco Gavanelli; Evelina Lamma     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 124, No. 4, pp: 365-381, Anno: 2013

NO Revision and NO Contraction
G. R. Wheeler;M. Alberti     dettagli >>
MINDS AND MACHINES
Vol. 21, No. 1, pp: 411-430, Anno: 2011

Learning specifications of interaction protocols and business processes and proving their properties
M. Alberti; M. Gavanelli; E. Lamma; F. Riguzzi; S. Storari     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. 5, No. 1, pp: 71-75, Anno: 2011

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
M. Alberti;P. Dell'Acqua;L. M. Pereira     dettagli >>
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 62, No. 1, pp: 161-186, Anno: 2011

A Computational Logic Application Framework for Service Discovery and Contracting
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni     dettagli >>
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH
Vol. 8, No. 3, pp: 1-25, Anno: 2011

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 102, No. 3-4, pp: 325-361, Anno: 2010

Verifiable agent interaction in abductive logic programming: the SCIFF framework
ALBERTI M; CHESANI F; M. GAVANELLI; LAMMA E; MELLO P; TORRONI P     dettagli >>
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Vol. 9, No. 4, pp: 29:1-29:43, Anno: 2008

Expressing and Verifying Business Contracts with Abductive Logic Programming
ALBERTI M; CHESANI F; GAVANELLI M; E. LAMMA; MELLO P; MONTALI M; TORRONI P     dettagli >>
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE
Vol. 12, No. 4, pp: 9-38, Anno: 2008

Specification and verification of agent interaction protocols in a logic-based system
ALBERTI M; CHESANI F; DAOLIO D; M. GAVANELLI; LAMMA E; MELLO P; TORRONI P     dettagli >>
SCALABLE COMPUTING. PRACTICE AND EXPERIENCE
Vol. 8, No. 1, pp: 1-13, Anno: 2007

Compliance verification of agent interaction: A logic-based software tool
ALBERTI M.; GAVANELLI M; LAMMA E; CHESANI F; MELLO P; TORRONI P     dettagli >>
APPLIED ARTIFICIAL INTELLIGENCE
Vol. 20, No. 1, pp: 133-157, Anno: 2006

Mapping Deontic Operators to Abductive Expectations
ALBERTI M; M. GAVANELLI; LAMMA E; MELLO P; SARTOR G; TORRONI P     dettagli >>
COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY
Vol. 12, No. 1, pp: 205-225, Anno: 2006

The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system
ALBERTI M.; CHESANI F     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. Anno II No. 3, No. 1, pp: 45-51, Anno: 2005

Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie
ALBERTI M.; CHESANI F; GAVANELLI M; GUERRI A; LAMMA E; MELLO P; TORRONI P     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. Anno II No. 1, No. 1, pp: 22-29, Anno: 2005

A CHR-based implementation of known arc-consistency
ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; MILANO M.     dettagli >>
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 5, No. 1, pp: 419-440, Anno: 2005

SPECIFICATION AND VERIFICATION OF AGENT INTERACTIONS USING SOCIAL INTEGRITY CONSTRAINTS
ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.     dettagli >>
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Vol. 85, No. 1, pp: 94-116, Anno: 2004