2395 search results - page 302 / 479 » Reasoning in Semantic Wikis |
179
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
175
Voted
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
189
click to vote
CADE
2004
Springer
16 years 14 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
187
click to vote
GRID
2004
Springer
16 years 14 days ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...
165
click to vote
LICS
2002
IEEE
16 years 4 hour ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...