Arrow Research search

Author name cluster

Kevin Ros

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers
1 author row

Possible papers

2

AAAI Conference 2021 Conference Paper

Comprehension and Knowledge

  • Pavel Naumov
  • Kevin Ros

The ability of an agent to comprehend a sentence is tightly connected to the agent’s prior experiences and background knowledge. The paper suggests to interpret comprehension as a modality and proposes a complete bimodal logical system that describes an interplay between comprehension and knowledge modalities.

KR Conference 2018 Short Paper

Strategic Coalitions in Systems with Catastrophic Failures

  • Pavel Naumov
  • Kevin Ros

The paper introduces a notion of a transition system with catastrophic failures where in each state and under each action profile of the agents the system might either transition to a next state or fail with a given probability. The main technical result is a sound and complete axiomatization of modality “coalition has a strategy to survive with a given probability while achieving a given goal. ”

v2026.09.13