On the consistency of defeasible databases
Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Plausibility measures and default reasoning
Journal of the ACM (JACM)
Towards Default Reasoning through MAX-SAT
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Keeping secrets in incomplete databases
International Journal of Information Security
Three Scenarios for the Revision of Epistemic States*
Journal of Logic and Computation
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
Journal of Logic and Computation
An Introduction to MultiAgent Systems
An Introduction to MultiAgent Systems
A conceptual agent model based on a uniform approach to various belief operations
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Keeping secrets in possibilistic knowledge bases with necessity-valued privacy policies
IPMU'10 Proceedings of the Computational intelligence for knowledge-based systems design, and 13th international conference on Information processing and management of uncertainty
Inference-proof view update transactions with forwarded refreshments
Journal of Computer Security - DBSEC 2008
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Inference-Proof view update transactions with minimal refusals
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Hi-index | 0.00 |
In multiagent systems, agents interact and in particular exchange information to achieve a joint goal, e.g., arrange a meeting, negotiate a sales contract etc. An agent, as a rational reasoner, is able to incorporate new information into her belief about her environment (belief revision) or to share her belief with other agents (query answering). Yet, such an agent might be interested to hide confidential parts of her belief from other negotiating agents while these agents are supposed to reason about her reactions to revisions and queries. We study how an agent can control her reactions to revisions and queries requested by another agent who may attempt to skeptically entail confidential beliefs. As our main contribution, we present procedures that provably enforce confidentiality, to be employed by the reacting agent.