Search Results for author: Luciano Serafini

Found 38 papers, 12 papers with code

Lifted Inference beyond First-Order Logic

no code implementations22 Aug 2023 Sagar Malhotra, Davide Bizzaro, Luciano Serafini

We expand a vast array of previous results in discrete mathematics literature on directed acyclic graphs, phylogenetic networks, etc.

Relational Reasoning

logLTN: Differentiable Fuzzy Logic in the Logarithm Space

1 code implementation26 Jun 2023 Samy Badreddine, Luciano Serafini, Michael Spranger

A significant trend in the literature involves integrating axioms and facts in loss functions by grounding logical symbols with neural networks and operators with fuzzy semantics.

Tensor Networks

Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement

1 code implementation18 May 2023 Davide Rigoni, Luca Parolari, Luciano Serafini, Alessandro Sperduti, Lamberto Ballan

The first untrained module aims to return a rough alignment between textual phrases and bounding boxes.

Interval Logic Tensor Networks

1 code implementation31 Mar 2023 Samy Badreddine, Gianluca Apriceno, Andrea Passerini, Luciano Serafini

In this paper, we introduce Interval Real Logic (IRL), a two-sorted logic that interprets knowledge such as sequential properties (traces) and event properties using sequences of real-featured data.

Tensor Networks

Planning for Learning Object Properties

no code implementations15 Jan 2023 Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso

Autonomous agents embedded in a physical environment need the ability to recognize objects and their properties from sensory data.

Exploiting Proximity-Aware Tasks for Embodied Social Navigation

no code implementations ICCV 2023 Enrico Cancelli, Tommaso Campari, Luciano Serafini, Angel X. Chang, Lamberto Ballan

In this paper, we propose an end-to-end architecture that exploits Proximity-Aware Tasks (referred as to Risk and Proximity Compass) to inject into a reinforcement learning navigation policy the ability to infer common-sense social behaviors.

Common Sense Reasoning Navigate +1

Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions

no code implementations24 Aug 2022 Alessandro Daniele, Tommaso Campari, Sagar Malhotra, Luciano Serafini

In this paper, we propose Deep Symbolic Learning (DSL), a NeSy system that learns NeSy-functions, i. e., the composition of a (set of) perception functions which map continuous data to discrete symbols, and a symbolic function over the set of symbols.

Refining neural network predictions using background knowledge

1 code implementation10 Jun 2022 Alessandro Daniele, Emile van Krieken, Luciano Serafini, Frank van Harmelen

Using a new algorithm called Iterative Local Refinement (ILR), we combine refinement functions to find refined predictions for logical formulas of any complexity.

Knowledge Enhanced Neural Networks for relational domains

1 code implementation31 May 2022 Alessandro Daniele, Luciano Serafini

In the recent past, there has been a growing interest in Neural-Symbolic Integration frameworks, i. e., hybrid systems that integrate connectionist and symbolic approaches to obtain the best of both worlds.

On Projectivity in Markov Logic Networks

no code implementations8 Apr 2022 Sagar Malhotra, Luciano Serafini

We show that, in terms of data likelihood maximization, RBM is the best possible projective MLN in the two-variable fragment.

Online Learning of Reusable Abstract Models for Object Goal Navigation

no code implementations CVPR 2022 Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan

In this paper, we present a novel approach to incrementally learn an Abstract Model of an unknown environment, and show how an agent can reuse the learned model for tackling the Object Goal Navigation task.

Image Segmentation Semantic Segmentation

Online Grounding of Symbolic Planning Domains in Unknown Environments

1 code implementation18 Dec 2021 Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso

If a robotic agent wants to exploit symbolic planning techniques to achieve some goal, it must be able to properly ground an abstract planning domain in the environment in which it operates.

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

no code implementations12 Oct 2021 Sagar Malhotra, Luciano Serafini

Weighted First-Order Model Counting (WFOMC) computes the weighted sum of the models of a first-order logic theory on a given finite domain.

A formalisation of BPMN in Description Logics

no code implementations22 Sep 2021 Chiara Ghidini, Marco Rospocher, Luciano Serafini

In this paper we present a textual description, in terms of Description Logics, of the BPMN Ontology, which provides a clear semantic formalisation of the structural components of the Business Process Modelling Notation (BPMN), based on the latest stable BPMN specifications from OMG [BPMN Version 1. 1 -- January 2008].

A Better Loss for Visual-Textual Grounding

1 code implementation11 Aug 2021 Davide Rigoni, Luciano Serafini, Alessandro Sperduti

Given a textual phrase and an image, the visual grounding problem is the task of locating the content of the image referenced by the sentence.

Visual Grounding

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

no code implementations28 Jun 2021 Loris Bozzato, Thomas Eiter, Luciano Serafini

In this direction, in our previous works we presented a framework for representing (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms: reasoning in such framework is realized by a translation into ASP programs.

Logic Tensor Networks

1 code implementation25 Dec 2020 Samy Badreddine, Artur d'Avila Garcez, Luciano Serafini, Michael Spranger

In this paper, we present Logic Tensor Networks (LTN), a neurosymbolic formalism and computational model that supports learning and reasoning through the introduction of a many-valued, end-to-end differentiable first-order logic called Real Logic as a representation language for deep learning.

Clustering Multi-Label Classification +2

Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula

no code implementations25 Sep 2020 Sagar Malhotra, Luciano Serafini

We introduce the concept of lifted interpretations as a tool for formulating polynomials for WFOMC.

Neural Networks Enhancement with Logical Knowledge

1 code implementation13 Sep 2020 Alessandro Daniele, Luciano Serafini

In the recent past, there has been a growing interest in Neural-Symbolic Integration frameworks, i. e., hybrid systems that integrate connectionist and symbolic approaches to obtain the best of both worlds.

Multi-Label Classification

Exploiting Scene-specific Features for Object Goal Navigation

no code implementations21 Aug 2020 Tommaso Campari, Paolo Eccher, Luciano Serafini, Lamberto Ballan

We study this question in the context of Object Navigation, a problem in which an agent has to reach an object of a specific class while moving in a complex domestic environment.

Visual Navigation

Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation

2 code implementations1 Oct 2019 Ivan Donadello, Luciano Serafini

This requires the detection of visual relationships: triples (subject, relation, object) describing a semantic relation between a subject and an object.

Relational Reasoning Relationship Detection +3

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

no code implementations22 May 2019 Loris Bozzato, Thomas Eiter, Luciano Serafini

Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases.


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

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

In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound and explainable models for such systems.

BIG-bench Machine Learning Explainable Models

Incremental learning abstract discrete planning domains and mappings to continuous perceptions

no code implementations16 Oct 2018 Luciano Serafini, Paolo Traverso

Most of the works on planning and learning, e. g., planning by (model based) reinforcement learning, are based on two main assumptions: (i) the set of states of the planning domain is fixed; (ii) the mapping between the observations from the real word and the states is implicitly assumed or learned offline, and it is not part of the planning domain.

Incremental Learning Model-based Reinforcement Learning +1

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)

no code implementations6 Aug 2018 Loris Bozzato, Luciano Serafini, Thomas Eiter

This paper is an appendix to the paper "Reasoning with Justifiable Exceptions in Contextual Hierarchies" by Bozzato, Serafini and Eiter, 2018.


Logic Tensor Networks for Semantic Image Interpretation

1 code implementation24 May 2017 Ivan Donadello, Luciano Serafini, Artur d'Avila Garcez

Logic Tensor Networks (LTNs) are an SRL framework which integrates neural networks with first-order fuzzy logic to allow (i) efficient learning from noisy data in the presence of logical constraints, and (ii) reasoning with logical formulas describing general properties of the data.

Relational Reasoning Tensor Networks

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

no code implementations1 Dec 2016 Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini

Systems for automatic extraction of semantic information about events from large textual resources are now available: these tools are capable to generate RDF datasets about text extracted events and this knowledge can be used to reason over the recognized events.

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

2 code implementations14 Jun 2016 Luciano Serafini, Artur d'Avila Garcez

We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning.

Logical Reasoning Tensor Networks

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

no code implementations12 Dec 2015 Mathew Joseph, Gabriel Kuper, Till Mossakowski, Luciano Serafini

Sound, complete and terminating procedures, which are adaptations of the well known chase algorithm, are provided for these classes for deciding query entailment.

Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge

no code implementations22 Apr 2015 Zolzaya Dashdorj, Stanislav Sobolevsky, Luciano Serafini, Fabrizio Antonelli, Carlo Ratti

This article addresses the issues in context awareness given heterogeneous and uncertain data of mobile network events missing reliable information on the context of this activity.

Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation

no code implementations26 Dec 2014 Loris Bozzato, Luciano Serafini

As the interest in the representation of context dependent knowledge in the Semantic Web has been recognized, a number of logic based solutions have been proposed in this regard.


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

no code implementations3 Jun 2014 Mathew Joseph, Gabriel Kuper, Luciano Serafini

Quads, which extend a standard RDF triple, by adding a new parameter of the `context' of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts.

NewsReader: recording history from daily news streams

no code implementations LREC 2014 Piek Vossen, German Rigau, Luciano Serafini, Pim Stouten, Francis Irving, Willem van Hage

The European project NewsReader develops technology to process daily news streams in 4 languages, extracting what happened, when, where and who was involved.

The KnowledgeStore: an Entity-Based Storage System

no code implementations LREC 2012 Roldano Cattoni, Francesco Corcoglioniti, Christian Girardi, Bernardo Magnini, Luciano Serafini, Roberto Zanoli

The system allows (i) to import background knowledge about entities, in form of annotated RDF triples; (ii) to associate resources to entities by automatically recognizing, coreferring and linking mentions of named entities; and (iii) to derive new entities based on knowledge extracted from mentions.

Entity Extraction using GAN Entity Linking +1

Cannot find the paper you are looking for? You can Submit a new open access paper.