[20]
|
Maria Ferrara, Eleonora Maria Alfonsina Curtarello, Elisabetta Gentili, Ilaria
Domenicano, Ludovica Vecchioni, Riccardo Zese, Marco Alberti, Giorgia
Franchini, Cristina Sorio, Lorenzo Benini, et al.
Sex differences in schizophrenia-spectrum diagnoses: results from a
30-year health record registry.
Archives of Women's Mental Health, pages 1--10, 2023.
[ bib ]
|
[19]
|
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina
Lamma.
Probabilistic inductive constraint logic.
Machine Learning, 110:723--754, 2021.
[ bib |
DOI |
.pdf ]
|
[18]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, and
Riccardo Zese.
Dischargeable obligations in the SCIFF framework.
Fundamenta Informaticae, 176(3-4):321--348, 2020.
[ bib |
DOI ]
|
[17]
|
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese.
MAP inference for probabilistic logic programming.
Theory and Practice of Logic Programming, 20(5):641--655,
© Cambridge University Press, 2020.
[ bib |
DOI |
http |
.pdf ]
|
[16]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Accountable protocols in abductive logic programming.
ACM Trans. Internet Technol., 18(4):46:1--46:20, April 2018.
[ bib |
DOI |
http ]
|
[15]
|
Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo
Zese.
cplint on SWISH: Probabilistic logical inference with a
web browser.
Intelligenza Artificiale, 11(1):47--64, © IOS
Press, 2017.
[ bib |
DOI |
.pdf ]
|
[14]
|
Stefano Balbi, Carlo Giupponi, Pascal Perez, and Marco Alberti.
A spatial agent-based model for assessing strategies of adaptation to
climate and tourism demand changes in an alpine tourism destination.
Environmental Modelling and Software, 45:29--51, 2013.
[ bib |
DOI |
http ]
|
[13]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
The chr-based implementation of the SCIFF abductive system.
Fundam. Inform., 124(4):365--381, 2013.
[ bib |
DOI |
http ]
|
[12]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Learning specifications of interaction protocols and business
processes and proving their properties.
Intelligenza artificiale, 5(1):71--75, February 2011.
[ bib |
DOI |
.pdf ]
|
[11]
|
Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira.
Observation strategies for event detection with incidence on runtime
verification: theory, algorithms, experimentation.
Annals of Mathematics and Artificial Intelligence, 62:161--186,
2011.
10.1007/s10472-011-9259-5.
[ bib |
http ]
|
[10]
|
Gregory Wheeler and Marco Alberti.
No revision and no contraction.
Minds and Machines, 21:411--430, 2011.
10.1007/s11023-011-9243-1.
[ bib |
http ]
|
[9]
|
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina
Lamma, Paola Mello, Marco Montali, and Paolo Torroni.
A computational logic application framework for service discovery and
contracting.
International Journal of Web Services Research, 8(3):1--25,
2011.
[ bib ]
|
[8]
|
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Evelina Lamma,
and Paola Mello.
Abductive Logic Programming as an Effective Technology for the
Static Verification of Declarative Business Processes.
Fundamenta Informaticae, 102(3-4):325--361, 2010.
IF: 0.693.
[ bib |
DOI ]
|
[7]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Verifiable agent interaction in abductive logic programming: the
SCIFF framework.
ACM Transactions on Computational Logic (TOCL), 9(4), 2008.
IF: 2.766.
[ bib ]
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Expressing and verifying business contracts with abductive logic
programming.
International Journal of Electronic Commerce, 12(4):9--38,
Summer 2008.
IF: 1.366.
[ bib |
DOI ]
|
[5]
|
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni.
Specification and verification of agent interaction protocols in a
logic-based system.
Scalable Computing: Practice and Experience, 8(1):1--13, March
2007.
[ bib ]
|
[4]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor,
and Paolo Torroni.
Mapping deontic operators to abductive expectations.
Computational and Mathematical Organization Theory,
12(2--3):205 -- 225, October 2006.
[ bib |
DOI |
http ]
|
[3]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based software
tool.
Applied Artificial Intelligence, 20(2-4):133--157,
February-April 2006.
IF: 0.576.
[ bib |
DOI ]
|
[2]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano.
A CHR-based implementation of known arc-consistency.
Theory and Practice of Logic Programming, 5(4/5):419--440, July
2005.
IF: 1.372.
[ bib |
DOI |
http ]
|
[1]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Specification and verification of agent interactions using social
integrity constraints.
Electronic Notes in Theoretical Computer Science,
85(2):94--116, April 2004.
[ bib |
http |
.pdf ]
|
[24]
|
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, and Evelina Lamma.
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with
Function Symbols.
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl,
Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th
International Conference on Logic Programming (Technical Communications),
volume 364 of Electronic Proceedings in Theoretical Computer Science,
pages 65--78, Waterloo, Australia, 2022. Open Publishing Association.
[ bib |
DOI |
http |
.pdf ]
|
[23]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese
Riccardo.
Dischargeable obligations in abductive logic programming.
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman
Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and
Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July
12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer
Science, pages 7--21, Cham, 2017. © Springer International
Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-61252-2_2.
[ bib |
DOI |
.pdf ]
|
[22]
|
Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese.
Probabilistic logical inference on the web.
In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea,
editors, Proceedings of the 15th Conference of the Italian Association
for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1
December 2016, volume 10037 of Lecture Notes in Computer Science,
pages 351--363, Heidelberg, Germany, 2016. © Springer
International Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-49130-1_26.
[ bib |
DOI |
.pdf ]
|
[21]
|
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese.
Probabilistic hybrid knowledge bases under the distribution
semantics.
In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea,
editors, Proceedings of the 15th Conference of the Italian Association
for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1
December 2016, volume 10037 of Lecture Notes in Computer Science,
pages 364--376, Heidelberg, Germany, 2016. © Springer
International Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-49130-1_27.
[ bib |
DOI |
.pdf ]
|
[20]
|
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, Matthias Knorr, João
Leite, and Martin Slota.
Normative systems require hybrid knowledge bases.
In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, and Michael
Winikoff, editors, Proceedings of the 11th International Conference on
Autonomous Agents and Multi-Agent Systems, pages 1425--1426, Richland, SC,
2012. International Foundation for Autonomous Agents and Multiagent Systems.
[ bib ]
|
[19]
|
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, and
Martin Slota.
Normative systems represented as hybrid knowledge bases.
In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella,
and Leon van der Torre, editors, Computational Logic in Multi-Agent
Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July
17-18, 2011. Proceedings, volume 6814 of Lecture Notes in Artificial
Intelligence, pages 330--346. Springer Verlag, July 2011.
[ bib ]
|
[18]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
Runtime addition of integrity constraints in abductive logic
programs.
In Manuel Hermenegildo and Torsten Schaub, editors, Technical
Communications of the 26th International Conference on Logic Programming,
volume 7 of Leibniz International Proceedings in Informatics (LIPIcs),
pages 4--13, Dagstuhl, Germany, July 2010. Schloss Dagstuhl--Leibniz-Zentrum
fuer Informatik.
[ bib |
DOI |
http ]
|
[17]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico
Chesani, Marco Montali, Paola Mello, and Paolo Torroni.
Integrating abductive logic programming and description logics in a
dynamic contracting architecture.
In Paul Hofmann, editor, ICWS 2009: 2009 IEEE International
Conference on Web Services, pages 254--261. IEEE Computer Society, IEEE
Computer Society Press, 2009.
[ bib |
DOI |
http ]
|
[16]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integration of abductive reasoning and constraint optimization in
SCIFF.
In Patricia M. Hill and David S. Warren, editors, 25th
International Conference on Logic Programming (ICLP 2009), volume 5649 of
Lecture Notes in Computer Science, pages 387--401, Berlin Heidelberg,
2009. Springer-Verlag.
[ bib |
http ]
|
[15]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integrating abduction and constraint optimization in constraint
handling rules.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and
Nikos Avouris, editors, ECAI 2008: 18th European Conference on
Artificial Intelligence, pages 903--904. IOS press, July 2008.
[ bib |
DOI |
http ]
|
[14]
|
Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni.
Verification from declarative specifications using logic programming.
In Maria Garcia de la Banda and Enrico Pontelli, editors, Logic
Programming, 24th International Conference, ICLP 2008, volume 5366 of
Lecture Notes in Computer Science, pages 440--454. Springer-Verlag, 2008.
[ bib |
DOI |
http |
.pdf ]
|
[13]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
A rule-based approach for reasoning about collaboration between smart
web services.
In Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie,
editors, Proceedings of the 1st International Conference on Web
Reasoning and Rule Systems (RR), volume 4524 of Lecture Notes in
Artificial Intelligence, pages 279--288, Innsbruck, June 2007.
Springer-Verlag.
[ bib ]
|
[12]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Web service contracting: specification and reasoning with sciff.
In Enrico Franconi, Michael Kifer, and Wolfgang May, editors,
Proceedings of the 4th European Semantic Web Conference (ESWC), volume 4519
of Lecture Notes in Artificial Intelligence, pages 68--83, Innsbruck,
June 2007. Springer-Verlag.
[ bib ]
|
[11]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Marco Montali.
An abductive framework for a-priori verification of web services.
In Michael Maher, editor, Proceedings of the Eighth Symposium on
Principles and Practice of Declarative Programming, July 10-12, 2006, Venice,
Italy, pages 39--50, New York, USA, July 2006. Association for Computing
Machinery (ACM), Special Interest Group on Programming Languages (SIGPLAN),
ACM Press.
[ bib |
DOI |
http ]
|
[10]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, Sergio Storari, and Paolo Torroni.
Computational logic for run-time verification of web services
choreographies: exploiting the SOCS-SI tool.
In Mario Bravetti and Gianluigi Zavattaro, editors, Web Services
and Formal Methods - Third International Workshop, WS-FM 2006 Vienna,
Austria, September 8-9, 2006 Proceedings, volume 4184 of Lecture Notes
in Computer Science, pages 58--72, Berlin/Heidelberg, 2006. Springer-Verlag.
[ bib |
DOI |
http ]
|
[9]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola
Mello.
A verifiable logic-based agent architecture.
In Floriana Esposito, Zbigniew W. Raś, Donato Malerba, and
Giovanni Semeraro, editors, Foundations of Intelligent Systems - 16th
International Symposium, ISMIS 2006 Bari, Italy, September 27-29, 2006
Proceedings, volume 4203 of Lecture Notes in Artificial Intelligence,
pages 188--197, Berlin Heidelberg, 2006. Springer-Verlag.
[ bib |
DOI |
http ]
|
[8]
|
Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Specification and verification of agent interaction using abductive
reasoning.
In Francesca Toni and Paolo Torroni, editors, CLIMA VI, volume
3900 of Lecture Notes on Artificial Intelligence, pages 243--264,
Berlin Heidelberg, 2006. Springer-Verlag.
[ bib |
http ]
|
[7]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Abduction with hypotheses confirmation.
In Fausto Giunchiglia, editor, IJCAI-05 Proceedings of the
Nineteenth International Joint Conference on Artificial Intelligence, pages
1545--1546, USA, 2005. Professional Book Center.
[ bib |
http |
.pdf ]
|
[6]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
The SCIFF abductive proof-procedure.
Lecture Notes in Artificial Intelligence, 3673:135--147, 2005.
IF: 0.302.
[ bib ]
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based tool.
In Robert Trappl, editor, Proceedings of the 17th European
Meeting on Cybernetics and Systems Research, Vol. II, Symposium “From Agent
Theory to Agent Implementation” (AT2AI-4), pages 570--575, Vienna, Austria,
April 13-16 2004. Austrian Society for Cybernetic Studies.
[ bib |
http ]
|
[4]
|
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma,
and Paola Mello.
Specification and verification of agent interaction protocols in a
logic-based system.
In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M.
Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied
Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 72--78, New York,
NY, USA, 2004. ACM Press.
[ bib |
http ]
|
[3]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
An abductive interpretation for open agent societies.
In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in
Artificial Intelligence: 8th Congress of the Italian Association for
Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings,
volume 2829 of Lecture Notes in Artificial Intelligence, pages
287--299, Pisa, Italy, September 23-26 2003. Springer Verlag.
[ bib |
http |
.pdf ]
|
[2]
|
Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
A social ACL semantics by deontic constraints.
In V.Marik, J.Muller, and M.Pechoucek, editors, Proceedings of
the 3rd International/Central and Eastern European Conference on Multi-Agent
Systems, number 2691 in Lecture Notes in Artificial Intelligence, pages
204--213, Prague, Czech Republic, June 2003.
[ bib ]
|
[1]
|
Marco Alberti and Evelina Lamma.
Synthesis of object models from partial models: a CSP perspective.
In Frank van Harmelen, editor, Proceedings of the Fifteenth
European Conference on Artificial Intelligence (ECAI 2002), volume 77 of
Frontiers in Artificial Intelligence and Applications, pages 116--120.
IOS Press, July 2002.
[ bib ]
|
[12]
|
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese.
A distribution semantics for non-DL-safe probabilistic hybrid
knowledge bases.
In Christian Theil Have and Riccardo Zese, editors, 4th
International Workshop on Probabilistic logic programming, PLP 2017, volume
1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017.
Sun SITE Central Europe.
[ bib |
.pdf ]
|
[11]
|
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
Probabilistic logic programming for natural language processing.
In Federico Chesani, Paola Mello, and Michela Milano, editors,
URANIA 2016, Deep Understanding and Reasoning: A Challenge for
Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on
Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent
Agents 2016 co-located with 15th International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2016), volume 1802 of
CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017.
© by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
[10]
|
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi,
and Riccardo Zese.
Probabilistic constraint logic theories.
In Arjen Hommersom and Samer Abdallah, editors, Proceedings of
the 3nd International Workshop on Probabilistic Logic Programming (PLP),
volume 1661 of CEUR Workshop Proceedings, pages 15--28, Aachen,
Germany, 2016. © by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
[9]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma.
Exploiting semantic technology in computational logic-based service
contracting.
In Aldo Gangemi, Johannes Keizer, Valentina Presutti, and Heiko
Stoermer, editors, SWAP 2008: 5th workshop on Semantic Web Applications
and Perspectives, volume 426 of CEUR Workshop Proceedings, Rome,
Italy, December 2008.
[ bib |
http |
.pdf ]
|
[8]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, Sergio Storari, and Paolo Torroni.
A computational logic-based approach to verification of IT systems.
In H.-G. Hegering, H. Reiser, M. Schiffers, and Th. Nebe, editors,
Proceedings of the 14th Annual Workshop of HP Software University
Association, Hosted by the Leibniz Computing Center and the Munich Network
Management Team, July 8--11, 2007, pages 115--125, Stuttgart, Germany, July
2007. HP Software University Association, Infonomics-Consulting.
[ bib |
http |
http ]
|
[7]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Policy-based reasoning for smart web service interaction.
In Giovanni Tummarello, Paolo Bouquet, and Oreste Signore, editors,
Proceedings of SWAP 2006, the 3rd Italian Semantic Web Workshop, Pisa,
Italy, December 2006. CEUR Workshop Proceedings.
available electronically at http://ceur-ws.org/Vol-201.
[ bib ]
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Policy-based reasoning for smart web service interaction.
In Proceedings of the 1st International Workshop on Applications
of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS
2006), volume 196 of CEUR Workshop Proceedings, pages 87--102,
Seattle, WA, USA, August 2006.
[ bib ]
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Security protocols verification in abductive logic programming: a
case study.
In Oğuz Dikenelli, Marie-Pierre Gleizes, and Alessandro Ricci,
editors, Proceedings of 6th International Workshop "Engineering
Societies in the Agents' World" (ESAW'05), October 26-28, 2005, volume 3963
of Lecture Notes on Artificial Intelligence, pages 106--124, Berlin
Heidelberg, 2006. Department of Computer Engineering Ege University,
Springer-Verlag.
[ bib |
http ]
|
[4]
|
Marco Alberti, Evelina Lamma, Marco Gavanelli, Paola Mello, Giovanni Sartor,
and Paolo Torroni.
Mapping deontic operators to abductive expectations.
In Proceedings of the Symposium on Normative Multi-Agent
Systems, pages 126--136, University of Hertfordshire, Hatfield, UK, April
12-15 2005. The Society for the study of Artificial Intelligence and the
Simulation of Behaviour.
[ bib |
http |
http ]
|
[3]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
The SOCS computational logic approach to the specification and
verification of agent societies.
Lecture Notes in Computer Science, 3267:314 -- 339, February
2005.
IF: 0.402.
[ bib |
DOI ]
|
[2]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
A logic based approach to interaction design in open multi-agent
systems.
In Martin Fredriksson, Rune Gustavsson, Alessandro Ricci, and Andrea
Omicini, editors, 13th IEEE International Workshops on Enabling
Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004),
pages 387--392, Washington, DC, USA, September 2004. IEEE Computer Society.
[ bib |
DOI |
http |
.pdf ]
|
[1]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Modeling interactions using social integrity constraints: a resource
sharing case study.
Lecture Notes in Artificial Intelligence, 2990:243--262, 2004.
IF: 0.251.
[ bib |
.pdf ]
|
[8]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integration of abductive reasoning and constraint optimization in
SCIFF.
In Fabio Fioravanti, editor, Proceedings of the 26th Italian
Conference on Computational Logic (CILC-2011), number 810 in CEUR Workshop
Proceedings, Pescara, Italy, September 2011.
[ bib |
http ]
|
[7]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
The CHR-based implementation of the sciff abductive system.
In Fabio Fioravanti, editor, Proceedings of the 26th Italian
Conference on Computational Logic (CILC-2011), number 810 in CEUR Workshop
Proceedings, Pescara, Italy, September 2011.
[ bib |
http ]
|
[6]
|
Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira.
Observation strategies for event detection, with incidence on runtime
verification.
In Marco Gavanelli and Toni Mancini, editors, RCRA-2010:
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial
Explosion, volume 616 of CEUR Workshop Proceedings, Bologna, Italy,
June 2010.
[ bib |
.pdf ]
|
[5]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
Runtime addition of integrity constraints in SCIFF.
In Wolfgang Faber and Nicola Leone, editors, Proceedings of the
25th Italian Conference on Computational Logic, volume 598 of CEUR
workshop proceedings, 2010.
[ bib |
.pdf ]
|
[4]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma.
Exploiting semantic technology in computational logic-based service
contracting.
In Marco Gavanelli and Fabrizio Riguzzi, editors, CILC09:
24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June
2009. GULP.
[ bib |
.pdf ]
|
[3]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Inducing specification of interaction protocols and business
processes and proving their properties.
In Matteo Baldoni and Cristina Baroglio, editors, Il Milione
(i.e. 26, June 3rd 2008) A Journey in the Computational Logic in Italy,
Proceedings of the Day Dedicated to Prof. Alberto Martelli Turin, Italy,
June 3, 2008, volume 487 of CEUR Workshop Proceedings, pages 32--37,
Aachen, Germany, 2009. Sun SITE Central Europe.
[ bib |
.pdf ]
|
[2]
|
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni,
Marco Alberti, and Sergio Storari.
Protocol specification and verification by using computational logic.
In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, and Andrea
Omicini, editors, WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO
Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of
Complex Systems, 14-16 November 2005, Camerino, MC, Italy, pages 184--192.
Pitagora Editrice Bologna, 2005.
[ bib ]
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina
Lamma, Paola Mello, and Paolo Torroni.
Expressing interaction in combinatorial auction through social
integrity constraints.
In Alfredo Milani, editor, Conferenza Italiana sui Sistemi
Intelligenti, page 80, Perugia (Italy), sep 2004. AI*IA, SIREN, GIPR,
Morlacchi Editore.
[ bib |
http |
.pdf ]
|
[5]
|
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese.
Iterated fixpoint well-founded semantics for hybrid knowledge bases.
In Dario Della Monica, Aniello Murano, Sasha Rubin, and Luigi
Sauro, editors, Joint Proceedings of the 18th Italian Conference on
Theoretical Computer Science and the 32nd Italian Conference on Computational
Logic, volume 1949 of CEUR Workshop Proceedings, pages 248--261,
Aachen, Germany, 2017. Sun SITE Central Europe.
[ bib |
.pdf ]
|
[4]
|
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese.
A distribution semantics for non-DL-safe probabilistic hybrid
knowledge bases.
In Christian Theil Have and Riccardo Zese, editors, 4th
International Workshop on Probabilistic logic programming, PLP 2017, volume
1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017.
Sun SITE Central Europe.
[ bib |
.pdf ]
|
[3]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese
Riccardo.
Dischargeable obligations in abductive logic programming.
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman
Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and
Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July
12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer
Science, pages 7--21, Cham, 2017. © Springer International
Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-61252-2_2.
[ bib |
DOI |
.pdf ]
|
[2]
|
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
Probabilistic logic programming for natural language processing.
In Federico Chesani, Paola Mello, and Michela Milano, editors,
URANIA 2016, Deep Understanding and Reasoning: A Challenge for
Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on
Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent
Agents 2016 co-located with 15th International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2016), volume 1802 of
CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017.
© by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
[1]
|
Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo
Zese.
cplint on SWISH: Probabilistic logical inference with a
web browser.
Intelligenza Artificiale, 11(1):47--64, © IOS
Press, 2017.
[ bib |
DOI |
.pdf ]
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Verifiable agent interaction in abductive logic programming: the
SCIFF framework.
ACM Transactions on Computational Logic (TOCL), 9(4), 2008.
IF: 2.766.
[ bib ]
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Expressing and verifying business contracts with abductive logic
programming.
International Journal of Electronic Commerce, 12(4):9--38,
Summer 2008.
IF: 1.366.
[ bib |
DOI ]
|
[4]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola
Mello.
Abduction in the context of a reasoning process: the sciff framework.
In Maria Carla Galavotti, Roberto Scazzieri, and Patrick Suppes,
editors, Reasoning, Rationality and Probability, pages 271--287. Center
for the Study of Language and Information, Stanford University, Stanford,
California, 2008.
[ bib ]
|
[3]
|
Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni.
Verification from declarative specifications using logic programming.
In Maria Garcia de la Banda and Enrico Pontelli, editors, Logic
Programming, 24th International Conference, ICLP 2008, volume 5366 of
Lecture Notes in Computer Science, pages 440--454. Springer-Verlag, 2008.
[ bib |
DOI |
http |
.pdf ]
|
[2]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integrating abduction and constraint optimization in constraint
handling rules.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and
Nikos Avouris, editors, ECAI 2008: 18th European Conference on
Artificial Intelligence, pages 903--904. IOS press, July 2008.
[ bib |
DOI |
http ]
|
[1]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma.
Exploiting semantic technology in computational logic-based service
contracting.
In Aldo Gangemi, Johannes Keizer, Valentina Presutti, and Heiko
Stoermer, editors, SWAP 2008: 5th workshop on Semantic Web Applications
and Perspectives, volume 426 of CEUR Workshop Proceedings, Rome,
Italy, December 2008.
[ bib |
http |
.pdf ]
|
[10]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based software
tool.
Applied Artificial Intelligence, 20(2-4):133--157,
February-April 2006.
IF: 0.576.
[ bib |
DOI ]
|
[9]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor,
and Paolo Torroni.
Mapping deontic operators to abductive expectations.
Computational and Mathematical Organization Theory,
12(2--3):205 -- 225, October 2006.
[ bib |
DOI |
http ]
|
[8]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Giovanni Sartor, and Paolo
Torroni.
Un sistema basato su logica computazionale per il trattamento degli
operatori deontici.
In Silvia Bisi and Claudio di Cocco, editors, La Gestione e la
Negoziazione Automatica dei Diritti sulle Opere dell'Ingegno Digitali:
Aspetti Giuridici e Informatici, chapter 1, pages 1--33. Gedit, Bologna,
October 2006.
[ bib ]
|
[7]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, Sergio Storari, and Paolo Torroni.
Computational logic for run-time verification of web services
choreographies: exploiting the SOCS-SI tool.
In Mario Bravetti and Gianluigi Zavattaro, editors, Web Services
and Formal Methods - Third International Workshop, WS-FM 2006 Vienna,
Austria, September 8-9, 2006 Proceedings, volume 4184 of Lecture Notes
in Computer Science, pages 58--72, Berlin/Heidelberg, 2006. Springer-Verlag.
[ bib |
DOI |
http ]
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola
Mello.
A verifiable logic-based agent architecture.
In Floriana Esposito, Zbigniew W. Raś, Donato Malerba, and
Giovanni Semeraro, editors, Foundations of Intelligent Systems - 16th
International Symposium, ISMIS 2006 Bari, Italy, September 27-29, 2006
Proceedings, volume 4203 of Lecture Notes in Artificial Intelligence,
pages 188--197, Berlin Heidelberg, 2006. Springer-Verlag.
[ bib |
DOI |
http ]
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Policy-based reasoning for smart web service interaction.
In Proceedings of the 1st International Workshop on Applications
of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS
2006), volume 196 of CEUR Workshop Proceedings, pages 87--102,
Seattle, WA, USA, August 2006.
[ bib ]
|
[4]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Marco Montali.
An abductive framework for a-priori verification of web services.
In Michael Maher, editor, Proceedings of the Eighth Symposium on
Principles and Practice of Declarative Programming, July 10-12, 2006, Venice,
Italy, pages 39--50, New York, USA, July 2006. Association for Computing
Machinery (ACM), Special Interest Group on Programming Languages (SIGPLAN),
ACM Press.
[ bib |
DOI |
http ]
|
[3]
|
Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Specification and verification of agent interaction using abductive
reasoning.
In Francesca Toni and Paolo Torroni, editors, CLIMA VI, volume
3900 of Lecture Notes on Artificial Intelligence, pages 243--264,
Berlin Heidelberg, 2006. Springer-Verlag.
[ bib |
http ]
|
[2]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Security protocols verification in abductive logic programming: a
case study.
In Oğuz Dikenelli, Marie-Pierre Gleizes, and Alessandro Ricci,
editors, Proceedings of 6th International Workshop "Engineering
Societies in the Agents' World" (ESAW'05), October 26-28, 2005, volume 3963
of Lecture Notes on Artificial Intelligence, pages 106--124, Berlin
Heidelberg, 2006. Department of Computer Engineering Ege University,
Springer-Verlag.
[ bib |
http ]
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Policy-based reasoning for smart web service interaction.
In Giovanni Tummarello, Paolo Bouquet, and Oreste Signore, editors,
Proceedings of SWAP 2006, the 3rd Italian Semantic Web Workshop, Pisa,
Italy, December 2006. CEUR Workshop Proceedings.
available electronically at http://ceur-ws.org/Vol-201.
[ bib ]
|
[8]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano.
A CHR-based implementation of known arc-consistency.
Theory and Practice of Logic Programming, 5(4/5):419--440, July
2005.
IF: 1.372.
[ bib |
DOI |
http ]
|
[7]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Abduction with hypotheses confirmation.
In Fausto Giunchiglia, editor, IJCAI-05 Proceedings of the
Nineteenth International Joint Conference on Artificial Intelligence, pages
1545--1546, USA, 2005. Professional Book Center.
[ bib |
http |
.pdf ]
|
[6]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
The SCIFF abductive proof-procedure.
Lecture Notes in Artificial Intelligence, 3673:135--147, 2005.
IF: 0.302.
[ bib ]
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
The SOCS computational logic approach to the specification and
verification of agent societies.
Lecture Notes in Computer Science, 3267:314 -- 339, February
2005.
IF: 0.402.
[ bib |
DOI ]
|
[4]
|
Marco Alberti and Federico Chesani.
The computational behaviour of the SCIFF abductive proof procedure
and the SOCS-SI system.
Intelligenza Artificiale, II(3):45--51, September 2005.
[ bib ]
|
[3]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina
Lamma, Paola Mello, and Paolo Torroni.
Expressing interaction in combinatorial auction through social
integrity constraints.
Intelligenza Artificiale, II(1):22--29, 2005.
[ bib |
http ]
|
[2]
|
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni,
Marco Alberti, and Sergio Storari.
Protocol specification and verification by using computational logic.
In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, and Andrea
Omicini, editors, WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO
Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of
Complex Systems, 14-16 November 2005, Camerino, MC, Italy, pages 184--192.
Pitagora Editrice Bologna, 2005.
[ bib ]
|
[1]
|
Marco Alberti.
A Computational Logic-based System for Specification and
Verification of Agent Interaction.
PhD thesis, University of Ferrara, March 2005.
Available at
http://docente.unife.it/marco.alberti/alberti-phd-final.pdf/at_download/file.
[ bib ]
|
[7]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Specification and verification of agent interactions using social
integrity constraints.
Electronic Notes in Theoretical Computer Science,
85(2):94--116, April 2004.
[ bib |
http |
.pdf ]
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
A logic based approach to interaction design in open multi-agent
systems.
In Martin Fredriksson, Rune Gustavsson, Alessandro Ricci, and Andrea
Omicini, editors, 13th IEEE International Workshops on Enabling
Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004),
pages 387--392, Washington, DC, USA, September 2004. IEEE Computer Society.
[ bib |
DOI |
http |
.pdf ]
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based tool.
In Robert Trappl, editor, Proceedings of the 17th European
Meeting on Cybernetics and Systems Research, Vol. II, Symposium “From Agent
Theory to Agent Implementation” (AT2AI-4), pages 570--575, Vienna, Austria,
April 13-16 2004. Austrian Society for Cybernetic Studies.
[ bib |
http ]
|
[4]
|
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma,
and Paola Mello.
Specification and verification of agent interaction protocols in a
logic-based system.
In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M.
Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied
Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 72--78, New York,
NY, USA, 2004. ACM Press.
[ bib |
http ]
|
[3]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Modeling interactions using social integrity constraints: a resource
sharing case study.
Lecture Notes in Artificial Intelligence, 2990:243--262, 2004.
IF: 0.251.
[ bib |
.pdf ]
|
[2]
|
Marco Alberti, Evelina Lamma, Marco Gavanelli, Paola Mello, Giovanni Sartor,
and Paolo Torroni.
Mapping deontic operators to abductive expectations.
In Proceedings of the Symposium on Normative Multi-Agent
Systems, pages 126--136, University of Hertfordshire, Hatfield, UK, April
12-15 2005. The Society for the study of Artificial Intelligence and the
Simulation of Behaviour.
[ bib |
http |
http ]
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina
Lamma, Paola Mello, and Paolo Torroni.
Expressing interaction in combinatorial auction through social
integrity constraints.
In Alfredo Milani, editor, Conferenza Italiana sui Sistemi
Intelligenti, page 80, Perugia (Italy), sep 2004. AI*IA, SIREN, GIPR,
Morlacchi Editore.
[ bib |
http |
.pdf ]
|