Preserving confidentiality while reacting on iterated queries and belief revisions

DOI10.1007/s10472-013-9374-6zbMath1319.68210OpenAlexW2005163027MaRDI QIDQ2254634

Joachim Biskup, Cornelia Tadros

Publication date: 5 February 2015

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-013-9374-6

zbMATH Keywords

belief revisionnonmonotonic reasoningaxiomatizationquery answeringmultiagent systeminference controlconfidential beliefconfidentiality preservationmeta-inferencesskeptical entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80) Agent technology and artificial intelligence (68T42)

Related Items

Inference-proof updating of a weakened view under the modification of input parameters

Uses Software

• KLMLean

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• On the consistency of defeasible databases
• What does a conditional knowledge base entail?
• Nonmonotonic reasoning, conditional objects and possibility theory
• Strategic Information Management Under Leakage in a Supply Chain
• Three Scenarios for the Revision of Epistemic States
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Analytic Tableau Calculi for KLM Rational Logic R
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Dynamic logic for belief revision
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• Plausibility measures and default reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: Preserving confidentiality while reacting on iterated queries and belief revisions