1849 search results - page 270 / 370 » Intelligent Expressions of Emotions |
169
click to vote
KI
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
152
click to vote
KI
2007
Springer
16 years 10 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
176
click to vote
LPAR
2007
Springer
16 years 10 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
158
click to vote
LPAR
2007
Springer
16 years 10 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
148
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...