19 citations · 52 across the 21 of their papers we have counts for
5 papers · 1 filter
Finding Common Ground for Incoherent Horn Expressions
Ana Ozaki, Anum Rehman, Philip Turk +1
Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different…
Reasoning in Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, a…
On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach
Johanna Jøsang, Ricardo Guimarães, Ana Ozaki
We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowledge graph (KG) completion with rule mining. More specifically, we mine rules from KGs before and after they…
Extracting Rules from Neural Networks with Partial Interpretations
Cosimo Persia, Ana Ozaki
We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts wit…
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated p…