320 search results - page 32 / 64 » A Modal Logic of Information Change |
PODS
2009
ACM
14 years 9 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
COSIT
2003
Springer
14 years 1 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent work on Differential Power Analysis shows that even mathematically-secure cryptographic protocols may be vulnerable at the physical implementation level. By measuring energ...
IJCAI
2001
13 years 10 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...