Vassar College Digital Library

Vassar Scholarship

Vassar Scholarship, the institutional repository formerly known as Digital Window, reflects the research and scholarly output of the Vassar College community.  It provides access to a variety of collections, including senior theses and projects across a wide range of disciplines.

Advanced search

Vassar Scholarship

Armstrong's Axioms and Navigation Strategies

Publication Date
2018-February-02
Document Type
conference
Authors
Deuser, Kaya
Naumov, Pavel
Department or Program
Computer Science Department
Document Type
Conference
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
Vassar Scholarship

Strategic Coalitions with Perfect Recall

Publication Date
2018-February-02
Document Type
conference
Authors
Naumov, Pavel
Tao, Jia
Department or Program
Computer Science Department
Document Type
Conference
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