1941 search results - page 31 / 389 » Reasoning about Computations Using Two-Levels of Logic |
158
click to vote
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
105
click to vote
RAID
2004
Springer
15 years 7 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
121
click to vote
LFP
1992
15 years 3 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
103
click to vote
AIPS
2003
15 years 3 months ago
2003
We examine the issues that arise in extending an estimatedregression (ER) planner to reason about autonomous processes that run and have continuous and discrete effects without th...
109
click to vote
ICMAS
2000
15 years 3 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...