IJCAI 2023poster1 citations
Shhh! The Logic of Clandestine Operations
Abstract
An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed. The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations.
Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and beliefKnowledge Representation and Reasoning: KRR: Reasoning about actions
BibTeX
@inproceedings{ijcai2023p368,
title = {Shhh! The Logic of Clandestine Operations},
author = {Naumov, Pavel and Orejola, Oliver},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-23}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Edith Elkind},
pages = {3304--3311},
year = {2023},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2023/368},
url = {https://doi.org/10.24963/ijcai.2023/368},
}