Prior proposes the term "egocentric" for logical systems that study
prop...
An operation is called covert if it conceals the identity of the actor; ...
The Agents, Interaction and Complexity research group at the University ...
The paper studies the interplay between modalities representing four
dif...
Discounting future costs and rewards is a common practice in accounting,...
The article proposes a formal semantics of happiness and sadness modalit...
The paper suggests a definition of "know who" as a modality using
Grove-...
The ability of an agent to comprehend a sentence is tightly connected to...
The paper investigates the second-order blameworthiness or duty to warn
...
A coalition of agents, or a single agent, has an ethical dilemma between...
Security games are an example of a successful real-world application of ...
The article considers strategies of coalitions that are based on intelli...
The article introduces a notion of a stochastic game with failure states...
A coalition is blameable for an outcome if the coalition had a strategy ...
Blameworthiness of an agent or a coalition of agents is often defined in...
Blameworthiness of an agent or a coalition of agents is often defined in...
There are multiple notions of coalitional responsibility. The focus of t...
The existence of a coalition strategy to achieve a goal does not necessa...
The article studies navigability of an autonomous agent in a maze where ...
The paper proposes a bimodal logic that describes an interplay between
d...
The paper investigates navigability with imperfect information. It shows...
The existence of a coalition strategy to achieve a goal does not necessa...