605 search results - page 47 / 121 » Dealing with logical omniscience |
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
ICLP
1999
Springer
13 years 12 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
ADC
2008
Springer
14 years 2 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
CODES
2002
IEEE
14 years 19 days ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...