Oliver Orejola

dblp:331/7142 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 67% Algorithmic game theory and mechanism design · 33%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science
epistemic logic
0.712023
Shhh! The Logic of Clandestine Operations · IJCAI 2023
Logic in computer science
modal logic
0.712023
Shhh! The Logic of Clandestine Operations · IJCAI 2023

Methods — techniques the papers use, named apart from their topics

soundness and completeness · 0.7distributed knowledge modality · 0.7
YearPublicationVenuePosition
2023 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.
Pavel Naumov, Oliver Orejola
IJCAI2