139 citations · 149 across the 9 of their papers we have counts for
9 papers
Interval Logic Tensor Networks
Samy Badreddine, Gianluca Apriceno, Andrea Passerini +1
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 r…
Weighted First Order Model Counting with Directed Acyclic Graph Axioms
Sagar Malhotra, Luciano Serafini
Statistical Relational Learning (SRL) integrates First-Order Logic (FOL) and probability theory for learning and inference over relational data. Probabilistic inference and learnin…
Planning for Learning Object Properties
Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia +4
Autonomous agents embedded in a physical environment need the ability to recognize objects and their properties from sensory data. Such a perceptual ability is often implemented by…
On some Foundational Aspects of Human-Centered Artificial Intelligence
Luciano Serafini, Raul Barbosa, Jasmin Grosinger +9
The burgeoning of AI has prompted recommendations that AI techniques should be "human-centered". However, there is no clear definition of what is meant by Human Centered Artificial…
Online Grounding of Symbolic Planning Domains in Unknown Environments
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti +2
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…
On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning
Stefano Borgo, Loris Bozzato, Alessio Palmero Aprosio +2
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 ex…