857 search results - page 51 / 172 » A Logic of Emotions for Intelligent Agents |
115
click to vote
AMAI
2004
Springer
15 years 7 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
CEEMAS
2001
Springer
15 years 6 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
101
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
112
click to vote
AAAI
2010
15 years 3 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
119
click to vote
AAAI
1990
15 years 3 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...