1   2   3   4  
Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46:1-46:20, Anno: 2018

Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
Springer Verlag, International Joint Conference on Rules and Reasoning, RuleML+RR 2017; London; United Kingdom; 12 July 2017 through 15 July 2017
Vol. 10364, No. 1, pp: 7-21, Anno: 2017

cplint on SWISH: Probabilistic Logical Inference with a Web Browser
Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 47-64, Anno: 2017

Probabilistic logic programming for natural language processing
Riguzzi, Fabrizio; Lamma, Evelina; Alberti, Marco; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>

Atto di Convegno (Proceedings)
Sun SITE Central Europe, 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
Vol. 1802, No. 1, pp: 30-37, Anno: 2017

A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
Sun SITE Central Europe, Proceedings of the 4th International Workshop on Probabilistic Logic Programming (PLP)
Vol. 1916, No. 1, pp: 40-50, Anno: 2017

Iterated fixpoint well-founded semantics for hybrid knowledge bases
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) and the 32nd Italian Conference on Computational Logic (CILC 2017), Naples, Italy, September 26-28, 2017
Vol. 1949, No. 1, pp: 248-261, Anno: 2017

Probabilistic Hybrid Knowledge Bases under the Distribution Semantics
Marco, Alberti; Evelina, Lamma; Fabrizio, Riguzzi; Riccardo, Zese     dettagli >>

Atto di Convegno (Proceedings)
Springer International Publishing, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016
Vol. 10037, No. 1, pp: 364-376, Anno: 2016

Probabilistic Logical Inference On the Web
Marco, Alberti; Giuseppe, Cota; Fabrizio, Riguzzi; Riccardo, Zese     dettagli >>

Atto di Convegno (Proceedings)
Springer International Publishing, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016
Vol. 10037, No. 1, pp: 351-363, Anno: 2016

Probabilistic Constraint Logic Theories
Marco, Alberti; Elena, Bellodi; Giuseppe, Cota; Evelina, Lamma; Fabrizio, Riguzzi; Riccardo, Zese     dettagli >>

Atto di Convegno (Proceedings)
Sun SITE Central Europe, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP)
Vol. 1661, No. 1, pp: 15-28, Anno: 2016

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 >>

Contributo in rivista (Pubblicazione in Rivista)
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 >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 124, No. 4, pp: 365-381, Anno: 2013

Normative Systems Require Hybrid Knowledge Bases
Alberti, Marco; Knorr, Matthias; Gomes, Ana Sofia; Leite, João; Gonçalves, Ricardo; Slota, Martin     dettagli >>

Atto di Convegno (Proceedings)
International Foundation for Autonomous Agents and Multiagent Systems, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
pp: 1425-1426, Anno: 2012

Deon  + : Abduction and Constraints for Normative Reasoning
Marco Alberti;Marco Gavanelli;Evelina Lamma     dettagli >>

Contributo in volume
Springer-Verlag, Logic Programs, Norms and Action
Vol. 7360, No. 1, pp: 308-328, Anno: 2012

NO Revision and NO Contraction
G. R. Wheeler;M. Alberti     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
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 >>

Contributo in rivista (Pubblicazione in Rivista)
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 >>

Contributo in rivista (Pubblicazione in Rivista)
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 62, No. 1, pp: 161-186, Anno: 2011

Normative systems represented as hybrid knowledge bases
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin     dettagli >>

Atto di Convegno (Proceedings)
Springer Berlin Heidelberg, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 6814, No. 1, pp: 330-346, 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 >>

Contributo in rivista (Pubblicazione in Rivista)
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH
Vol. 8, No. 3, pp: 1-25, Anno: 2011

The CHR-based Implementation of the SCIFF Abductive System
Alberti M.; Gavanelli M.; Lamma E.     dettagli >>

Atto di Convegno (Proceedings)
CEUR Workshop Proceedings, Proceedings of the 26th Italian Conference on Computational Logic
Vol. 810, No. 1, pp: 163-177, Anno: 2011

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Marco Alberti ; Marco Gavanelli ; Evelina Lamma     dettagli >>

Atto di Convegno (Proceedings)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Technical Communications of the 26th International Conference on Logic Programming
Vol. 7, No. 1, pp: 4-13, Anno: 2010

1   2   3   4