1 citations · 2 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Provenance-Enhanced Statements in Knowledge Graphs
Fabio Vitali, Valentina Pasqual
Provenance-enhanced statements of the form "according to , " are pervasive in contemporary knowledge graphs, especially in domains where graph content primarily represents cl…
cs.LO2025
From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
Fabio Vitali
This paper introduces a new family of cognitive modal logics designed to formalize conjectural reasoning: modal systems in which cognitive contexts extend known facts with hypothet…