918 search results - page 35 / 184 » Speculative Issue Logic |
173
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
151
click to vote
SEMWEB
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
176
click to vote
SYNTHESE
2010
15 years 22 days ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
169
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Dynamic instruction scheduling logic is one of the most critical and cycle-limiting structures in modern superscalar processors, and it is not easily pipelined without significant ...
163
click to vote
CLIMA
2004
15 years 7 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...