1320 research outputs found
Sort by
Whose body, whose choice: interactions between the pro-choice and pro-life social movements outside the abortion clinic
CRISPR in the wake of the GMO controversy: navigating the pitfalls with an emerging technology
Creating spaces of resistance and recognizing silenced narratives by using hip-hop feminism rhetoric
Primo Levi il chimico interlocutore: la scienza come un paradigma onnicomprensivo nel sistema periodico
Armstrong\u27s Axioms and Navigation Strategies
The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong\u27s axioms from database theory. If the assumption of perfect recall is omitted, then Armstrong\u27s transitivity axiom is not valid, but it can be replaced by a weaker principle. The main technical results are soundness and completeness theorems for the logical systems describing properties of navigability with and without perfect recall