1   2   3  
Normative systems represented as hybrid knowledge bases
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin     dettagli >>
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

The CHR-based Implementation of the SCIFF Abductive System
Alberti M.; Gavanelli M.; Lamma E.     dettagli >>
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 SCIFF
Alberti M.; Gavanelli M.; Lamma E.     dettagli >>
Redaktion Sun SITE, Informatik V, RWTH Aachen, 25th Italian Conference on Computational Logic, CILC 2010
Vol. 598, No. 1, pp: 1-15, Anno: 2010

Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>
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

Probabilistic logic programming for natural language processing
Riguzzi, Fabrizio; Lamma, Evelina; Alberti, Marco; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>
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 >>
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 >>
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 >>
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 >>
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 >>
Sun SITE Central Europe, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP)
Vol. 1661, No. 1, pp: 15-28, Anno: 2016

Normative Systems Require Hybrid Knowledge Bases
Alberti, Marco; Knorr, Matthias; Gomes, Ana Sofia; Leite, João; Gonçalves, Ricardo; Slota, Martin     dettagli >>
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

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Marco Alberti ; Marco Gavanelli ; Evelina Lamma     dettagli >>
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

Observation strategies for event detection with incidence on runtime verification
Alberti, Marco; Dell'Acqua, Pierangelo; Pereira, Lúis Moniz     dettagli >>
CEUR, CEUR Workshop Proceedings
Vol. 616, No. 1, pp: 1-15, Anno: 2010

Verification from declarative specifications using logic programming
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola     dettagli >>
CEUR-WS, CEUR Workshop Proceedings
Vol. 451, No. 1, pp: 440-454, Anno: 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
Marco Alberti; Massimiliano Cattafi; Federico Chesani; Marco Gavanelli; Evelina Lamma; Marco Montali; Paola Mello; Paolo Torroni     dettagli >>
IEEE Computer Society Press, 2009 IEEE International Conference on Web Services (ICWS 2009)
pp: 254-261, Anno: 2009

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties
M. Alberti; M. Gavanelli; E. Lamma; F. Riguzzi;S. Storari     dettagli >>
Sun SITE Central Europe, Il Milione: A Journey in the Computational Logic in Italy
Vol. 487, No. 1, pp: 32-37, Anno: 2009

Integration of abductive reasoning and constraint optimization in SCIFF
M. Gavanelli; M. Alberti; E. Lamma     dettagli >>
Springer Verlag Berlin, Logic Programming
Vol. 5649, No. 1, pp: 387-401, Anno: 2009

Verification from declarative specifications using logic programming
M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello     dettagli >>
Springer Berlin Heidelberg, Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Vol. 5366, No. 1, pp: 440-454, Anno: 2008

Integrating Abduction and Constraint Optimization in Constraint Handling Rules
M. Gavanelli; M. Alberti; E. Lamma     dettagli >>
IOS press, ECAI 2008
pp: 903-904, Anno: 2008

Exploiting semantic technology in computational logic-based service contracting
M. Alberti; M. Cattafi; M. Gavanelli; E. Lamma     dettagli >>
Aldo Gangemi, Johannes Keizer, Valentina Presutti, Heiko Stoermer, SWAP 2008 Semantic Web Applications and Perspectives
Vol. 426, No. 1, pp: 1-10, Anno: 2008

1   2   3