2638 search results - page 204 / 528 » Frameworks for Reasoning about Agent Based Systems |
153
click to vote
AAAI
1997
15 years 8 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
196
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
150
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
162
click to vote
ATAL
2004
Springer
15 years 12 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...
170
click to vote
CIA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...