1744 search results - page 168 / 349 » What's There to Talk About |
TBILLC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
AMAI
2004
Springer
14 years 4 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...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
ERCIMDL
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
ESORICS
2004
Springer
14 years 4 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...