11436 search results - page 467 / 2288 » Modeling Real Reasoning |
152
click to vote
TPHOL
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
147
click to vote
SGAI
2007
Springer
16 years 11 days ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...
112
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Agents operating in the real world have to deal with a constantly changing and only partially predictable environment and are nevertheless expected to choose reasonable actions qui...
173
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
178
Voted
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...