2253 search results - page 55 / 451 » The ComFoRT Reasoning Framework |
MICAI
2004
Springer
14 years 2 months ago
2004
Springer
ENTCS
2008
13 years 8 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
JUCS
2010
13 years 7 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
ICLP
1990
Springer
14 years 23 days ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
ATAL
2006
Springer
14 years 14 days ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...