research
∙
08/22/2023
Lifted Inference beyond First-Order Logic
Weighted First Order Model Counting (WFOMC) is fundamental to probabilis...
share
research
∙
06/26/2023
logLTN: Differentiable Fuzzy Logic in the Logarithm Space
The AI community is increasingly focused on merging logic with deep lear...
research
∙
05/18/2023
Weakly-Supervised Visual-Textual Grounding with Semantic Prior Refinement
Using only image-sentence pairs, weakly-supervised visual-textual ground...
research
∙
03/31/2023
Interval Logic Tensor Networks
In this paper, we introduce Interval Real Logic (IRL), a two-sorted logi...
research
∙
02/20/2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms
Statistical Relational Learning (SRL) integrates First-Order Logic (FOL)...
research
∙
01/15/2023
Planning for Learning Object Properties
Autonomous agents embedded in a physical environment need the ability to...
research
∙
12/01/2022
Exploiting Socially-Aware Tasks for Embodied Social Navigation
Learning how to navigate among humans in an occluded and spatially const...
research
∙
08/24/2022
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions
Neuro-Symbolic (NeSy) integration combines symbolic reasoning with Neura...
research
∙
06/10/2022
Refining neural network predictions using background knowledge
Recent work has shown logical background knowledge can be used in learni...
research
∙
05/31/2022
Knowledge Enhanced Neural Networks for relational domains
In the recent past, there has been a growing interest in Neural-Symbolic...
research
∙
04/08/2022
On Projectivity in Markov Logic Networks
Markov Logic Networks (MLNs) define a probability distribution on relati...
research
∙
03/04/2022
Online Learning of Reusable Abstract Models for Object Goal Navigation
In this paper, we present a novel approach to incrementally learn an Abs...
research
∙
12/29/2021
On some Foundational Aspects of Human-Centered Artificial Intelligence
The burgeoning of AI has prompted recommendations that AI techniques sho...
research
∙
12/18/2021
Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments
To effectively use an abstract (PDDL) planning domain to achieve goals i...
research
∙
09/22/2021
A formalisation of BPMN in Description Logics
In this paper we present a textual description, in terms of Description ...
research
∙
08/11/2021
A Better Loss for Visual-Textual Grounding
Given a textual phrase and an image, the visual grounding problem is def...
research
∙
06/28/2021
Reasoning on DL-Lite_ R with Defeasibility in ASP
Reasoning on defeasible knowledge is a topic of interest in the area of ...
research
∙
12/25/2020
Logic Tensor Networks
Artificial Intelligence agents are required to learn from their surround...
research
∙
09/25/2020
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula
Weighted First Order Model Counting (WFOMC) computes the weighted sum of...
research
∙
09/13/2020
Neural Networks Enhancement through Prior Logical Knowledge
In the recent past, there has been a growing interest in Neural-Symbolic...
research
∙
08/21/2020
Exploiting Scene-specific Features for Object Goal Navigation
Can the intrinsic relation between an object and the room in which it is...
research
∙
10/01/2019
Compensating Supervision Incompleteness with Prior Knowledge in Semantic Image Interpretation
Semantic Image Interpretation is the task of extracting a structured sem...
research
∙
05/22/2019
A Note on Reasoning on DL-Lite_ R with Defeasibility
Representation of defeasible information is of interest in description l...
research
∙
05/15/2019
Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning
Current advances in Artificial Intelligence and machine learning in gene...
research
∙
03/14/2019
Incremental Learning of Discrete Planning Domains from Continuous Perceptions
We propose a framework for learning discrete deterministic planning doma...
research
∙
10/16/2018
Learning abstract planning domains and mappings to real world perceptions
Most of the works on planning and learning, e.g., planning by (model bas...
research
∙
08/06/2018
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
This paper is an appendix to the paper "Reasoning with Justifiable Excep...
research
∙
05/24/2017
Logic Tensor Networks for Semantic Image Interpretation
Semantic Image Interpretation (SII) is the task of extracting structured...
research
∙
12/01/2016
On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning
Systems for automatic extraction of semantic information about events fr...
research
∙
06/14/2016
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
We propose Logic Tensor Networks: a uniform framework for integrating au...
research
∙
12/12/2015
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)
The proliferation of contextualized knowledge in the Semantic Web (SW) h...
research
∙
04/22/2015
Semantic Enrichment of Mobile Phone Data Records Using Background Knowledge
Every day, billions of mobile network events (i.e. CDRs) are generated b...
research
∙
06/03/2014
