1581 search results - page 49 / 317 » Mechanizing Inductive Reasoning |
121
Voted
AAAI
1990
15 years 3 months ago
1990
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
104
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
131
Voted
IDEAL
2003
Springer
15 years 7 months ago
2003
Springer
As the complexity of Internet is scaled up, it is likely for the Internet resources to be exposed to Distributed Denial of Service (DDoS) flooding attacks on TCP-based Web servers....
100
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a context-dependent case-based mechanism for selecting negotiation partners with the focus on the adaptation of similarity relations to a specific context. Th...
123
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...