15 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.AI2025
CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
Lorenzo Marconi, Flavia Ricci, Riccardo Rosati
We investigate Controlled Query Evaluation (CQE) over ontologies, where information disclosure is regulated by epistemic dependencies (EDs), a family of logical rules recently prop…
cs.AI2024
Controlled Query Evaluation through Epistemic Dependencies
Gianluca Cima, Domenico Lembo, Lorenzo Marconi +2
In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving…
cs.AI2011★ 15 cited
Reasoning about Minimal Belief and Negation as Failure
R. Rosati
We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered…