Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Luciano Serafini

On some Foundational Aspects of Human-Centered Artificial Intelligence


Dec 29, 2021
Luciano Serafini, Raul Barbosa, Jasmin Grosinger, Luca Iocchi, Christian Napoli, Salvatore Rinzivillo, Jacques Robin, Alessandro Saffiotti, Teresa Scantamburlo, Peter Schueller, Paolo Traverso, Javier Vazquez-Salceda


  Access Paper or Ask Questions

Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments


Dec 18, 2021
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso


  Access Paper or Ask Questions

Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula


Oct 12, 2021
Sagar Malhotra, Luciano Serafini

* arXiv admin note: text overlap with arXiv:2009.12237 

  Access Paper or Ask Questions

A formalisation of BPMN in Description Logics


Sep 22, 2021
Chiara Ghidini, Marco Rospocher, Luciano Serafini


  Access Paper or Ask Questions

A Better Loss for Visual-Textual Grounding


Aug 11, 2021
Davide Rigoni, Luciano Serafini, Alessandro Sperduti


  Access Paper or Ask Questions

Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP


Jun 30, 2021
Loris Bozzato, Thomas Eiter, Luciano Serafini

* Under consideration in Theory and Practice of Logic Programming (TPLP). This paper is an extended and revised version of a conference paper appearing in the proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). (v2 updates: added discussion on equivalence in Appendix, typos corrected). arXiv admin note: text overlap with arXiv:1905.09221 

  Access Paper or Ask Questions

Logic Tensor Networks


Jan 17, 2021
Samy Badreddine, Artur d'Avila Garcez, Luciano Serafini, Michael Spranger

* 68 pages, 28 figures, 6 tables 

  Access Paper or Ask Questions

Neural Networks Enhancement through Prior Logical Knowledge


Sep 13, 2020
Alessandro Daniele, Luciano Serafini


  Access Paper or Ask Questions

Exploiting Scene-specific Features for Object Goal Navigation


Aug 21, 2020
Tommaso Campari, Paolo Eccher, Luciano Serafini, Lamberto Ballan

* Accepted at ACVR2020 ECCV2020 Workshop 

  Access Paper or Ask Questions

Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation


Oct 01, 2019
Ivan Donadello, Luciano Serafini


  Access Paper or Ask Questions

A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility


May 22, 2019
Loris Bozzato, Thomas Eiter, Luciano Serafini

* Part of this work will appear as a paper in Proceedings of 32nd International Workshop on Description Logics (DL2019) 

  Access Paper or Ask Questions

Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning


May 15, 2019
Artur d'Avila Garcez, Marco Gori, Luis C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran


  Access Paper or Ask Questions

Incremental Learning of Discrete Planning Domains from Continuous Perceptions


Mar 14, 2019
Luciano Serafini, Paolo Traverso


  Access Paper or Ask Questions

Learning abstract planning domains and mappings to real world perceptions


Oct 16, 2018
Luciano Serafini, Paolo Traverso


  Access Paper or Ask Questions

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)


Aug 06, 2018
Loris Bozzato, Luciano Serafini, Thomas Eiter

* Appendix to the paper "Reasoning with Justifiable Exceptions in Contextual Hierarchies", accepted to the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) 

  Access Paper or Ask Questions

Logic Tensor Networks for Semantic Image Interpretation


May 24, 2017
Ivan Donadello, Luciano Serafini, Artur d'Avila Garcez

* 14 pages, 2 figures, IJCAI 2017 

  Access Paper or Ask Questions

On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning


Dec 01, 2016
Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini


  Access Paper or Ask Questions

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge


Jul 07, 2016
Luciano Serafini, Artur d'Avila Garcez

* 12 pages, 2 figs, 1 table, 27 references 

  Access Paper or Ask Questions

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)


Dec 12, 2015
Mathew Joseph, Gabriel Kuper, Till Mossakowski, Luciano Serafini

* Semantic Web (IOS Press) Vol 7:1 Pages 25-61. 2016 

  Access Paper or Ask Questions

Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge


Apr 22, 2015
Zolzaya Dashdorj, Stanislav Sobolevsky, Luciano Serafini, Fabrizio Antonelli, Carlo Ratti

* Knowledge-Based Systems, Volume 143, 2018 
* 40 pages, 34 figures 

  Access Paper or Ask Questions

Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation


Dec 26, 2014
Loris Bozzato, Luciano Serafini

* ARCOE-Logic 2014 Workshop Notes, pp. 13-24 

  Access Paper or Ask Questions

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)


Jun 03, 2014
Mathew Joseph, Gabriel Kuper, Luciano Serafini


  Access Paper or Ask Questions