2303 search results - page 377 / 461 » On the logic of argumentation theory |
186
click to vote
ICAS
2006
IEEE
16 years 13 days 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,...
146
click to vote
SAC
2006
ACM
16 years 10 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...
196
click to vote
CCS
2005
ACM
15 years 12 months 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...
167
click to vote
DALT
2005
Springer
15 years 12 months 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...
171
click to vote
EMSOFT
2005
Springer
15 years 12 months 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...