2291 search results - page 343 / 459 » Representational Reasoning and Verification |
130
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
231
click to vote
AGENTCL
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
144
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
118
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
113
click to vote
AUSAI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...