7335 search results - page 1006 / 1467 » Scene Based Reasoning |
214
click to vote
CCS
2005
ACM
16 years 12 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...
182
click to vote
DALT
2005
Springer
16 years 12 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...
108
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
171
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
140
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...