19 citations · 52 across the 21 of their papers we have counts for
4 papers · 1 filter
Non-Normal Modal Description Logics (Extended Version)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…
Learning Horn Envelopes via Queries from Large Language Models
Sophie Blum, Raoul Koudijs, Ana Ozaki +1
We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In th…
Verifying Properties of Tsetlin Machines
Emilia Przybysz, Bimal Bhattarai, Cosimo Persia +3
Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into p…
Finite Based Contraction and Expansion via Models
Ricardo Guimarães, Ana Ozaki, Jandson S. Ribeiro
We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of for…