Следене
Marco Alberti
Marco Alberti
Associate Professor, Dipartimento di Matematica e Informatica, Università di Ferrara
Потвърден имейл адрес: unife.it
Заглавие
Позовавания
Позовавания
Година
Verifiable agent interaction in abductive logic programming: the SCIFF framework
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008
2042008
Compliance verification of agent interaction: a logic-based software tool
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Applied Artificial Intelligence 20 (2-4), 133-157, 2006
1192006
Specification and verification of agent interaction protocols in a logic-based system
M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello
Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004
952004
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
Environmental Modelling & Software 45, 29-51, 2013
892013
Specification and verification of agent interaction using social integrity constraints
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004
762004
Mapping deontic operators to abductive expectations
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
Computational & Mathematical Organization Theory 12, 205-225, 2006
662006
Expressing and verifying business contracts with abductive logic programming
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ...
International Journal of Electronic Commerce 12 (4), 9-38, 2008
622008
The SCIFF abductive proof-procedure
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
AI* IA 3673, 135-147, 2005
432005
Normative systems represented as hybrid knowledge bases
M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota
Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011
422011
Modelling interactions via commitments and expectations
P Torroni, P Yolum, MP Singh, M Alberti, F Chesani, M Gavanelli, ...
Handbook of research on multi-agent systems: Semantics and dynamics of …, 2009
412009
Verification from declarative specifications using logic programming
M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ...
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
412008
Security protocols verification in abductive logic programming: a case study
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
Engineering Societies in the Agents World VI: 6th International Workshop …, 2006
392006
cplint on SWISH: Probabilistic logical inference with a web browser
M Alberti, E Bellodi, G Cota, F Riguzzi, R Zese
Intelligenza Artificiale 11 (1), 47-64, 2017
382017
An abductive framework for a-priori verification of web services
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, M Montali
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
382006
An abductive interpretation for open agent societies
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
AI* IA, 287-299, 2003
372003
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
Fundamenta Informaticae 102 (3-4), 325-361, 2010
302010
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Declarative Agent Languages and Technologies: First International Workshop …, 2004
302004
The SOCS computational logic approach to the specification and verification of agent societies
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005
292005
A social ACL semantics by deontic constraints
M Alberti, A Ciampolini, M Gavanelli, E Lamma, P Mello, P Torroni
Multi-Agent Systems and Applications III: 3rd International Central and …, 2003
282003
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, S Storari, ...
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
272006
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20