1664 search results - page 88 / 333 » Towards Partial Reasoning |
112
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
107
Voted
FCS
2006
15 years 2 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
112
Voted
ASP
2003
Springer
15 years 6 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
108
click to vote
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
109
Voted
AINA
2008
IEEE
15 years 7 months ago
2008
IEEE
In content-based communication, information flows towards interested hosts rather than towards specifically set destinations. This new style of communication perfectly fits the...