5818 search results - page 834 / 1164 » A reasonable Semantic Web |
185
Voted
ATAL
2004
Springer
16 years 1 months 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...
196
Voted
CADE
2004
Springer
16 years 1 months 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...
177
Voted
LICS
2002
IEEE
16 years 15 days 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...
237
click to vote
LOPSTR
2001
Springer
16 years 18 hour ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
226
Voted
LOPSTR
2001
Springer
16 years 18 hour ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...