1941 search results - page 72 / 389 » Reasoning about Computations Using Two-Levels of Logic |
132
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
151
click to vote
AAAI
1990
15 years 4 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
124
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
144
click to vote
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
135
click to vote
SASO
2010
IEEE
15 years 1 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...