SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

ALBERTI, Marco

ALBERTI, Marco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 79 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
A CHR-based implementation of known arc-consistency 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
A Computational Logic Application Framework for Service Discovery and Contracting 2011 Alberti, Marco; Cattafi, Massimiliano; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello; ...M., Montali; P., Torroni file con accesso da definire
A computational logic-based approach to verification of IT systems 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 2017 Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo file con accesso da definire
A logic-based approach to interaction design in open multi-agent systems 2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. file con accesso da definire
A Social ACL Semantics by Deontic Constraints 2003 Alberti, Marco; Ciampolini, A; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 2013 S., Balbi; C., Giupponi; P., Perez; Alberti, Marco file con accesso da definire
A Verifiable Logic-Based Agent Architecture 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P. file con accesso da definire
Abduction for specifying and verifying web service choreographies 2006 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, S...ergio file con accesso da definire
Abduction in the context of a reasoning process: the SCIFF framework 2008 Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello file con accesso da definire
Abduction with hypotheses confirmation 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 2010 M., Montali; P., Torroni; F., Chesani; P., Mello; Alberti, Marco; Lamma, Evelina file con accesso da definire
Accountable protocols in abductive logic programming 2018 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
Accountable protocols in abductive logic programming (extended abstract) 2020 Gavanelli, M.; Alberti, M.; Lamma, E.
An Abductive Framework for A-Priori Verification of Web Services 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M. file con accesso da definire
An Abductive Interpretation for Open Agent Societies 2003 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 2022 Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 2005 Alberti, Marco; Chesani, F; Gavanelli, Marco; Guerri, A; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
Compliance verification of agent interaction: A logic-based software tool 2006 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Chesani, F; Mello, P; Torroni, P.