2303 search results - page 377 / 461 » On the logic of argumentation theory |
205
Voted
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
159
Voted
SAC
2006
ACM
16 years 27 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
215
Voted
CCS
2005
ACM
16 years 15 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
185
click to vote
DALT
2005
Springer
16 years 14 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
184
Voted
EMSOFT
2005
Springer
16 years 14 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...