Vassar College Digital Library
Document Types

conference

Armstrong's Axioms and Navigation Strategies

Publication Date
2018-February-02
Document Type
Department or Program
Document Type
Abstract

The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong's axioms from database theory. If the assumption of perfect recall is omitted, then Armstrong's transitivity axiom is...

View

Budget-Constrained Dynamics in Multiagent Systems

Publication Date
2017-January-01
Document Type
Department or Program
Document Type
Abstract

The paper introduces a notion of a budget-constrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement and a post-transition profit. The paper proposes a new modal language for reasoning about such a...

View

Coalition Power in Epistemic Transition Systems

Publication Date
2017-January-01
Document Type
Department or Program
Document Type
Abstract

The paper proposes a bimodal logic that describes an interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a...

View

Second-Order Know-How Strategies

Publication Date
2018-July-10
Document Type
Department or Program
Document Type
Abstract

The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes...

View

Strategic Coalitions with Perfect Recall

Publication Date
2018-February-02
Document Type
Department or Program
Document Type
Abstract

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by...

View

Together We Know How to Achieve: An Epistemic Logic of Know-How

Publication Date
2017-January-01
Document Type
Department or Program
Document Type
Abstract

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists...

View
Subscribe to conference