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

Budget-Constrained Dynamics in Multiagent Systems

Publication Date
2017-January-01
Document Type
conference
Authors
Naumov, Pavel
Cao, Rui
Department or Program
Computer Science Department
Document Type
Conference
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