1849 search results - page 252 / 370 » Intelligent Expressions of Emotions |
137
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
172
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Fractal proteins are a new evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Ma...
136
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Generalization of the fundamental rough set discernibility tools aiming at searching for relevant patterns for complex decisions is discussed. As an example of application, there i...
192
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
163
click to vote
MICAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...