2395 search results - page 199 / 479 » Reasoning in Semantic Wikis |
182
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
165
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
For several reasons a database may not satisfy a given set of integrity constraints (ICs), but most likely most of the information in it is still consistent with those ICs; and cou...
254
click to vote
DILS
2008
Springer
15 years 8 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
169
click to vote
IJCAI
1997
15 years 8 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
174
click to vote
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Aggregating and presenting a wide variety of information pertinent to the biological and pharmacological effects of chemical compounds will be a critical part of 21st century drug ...