307 search results - page 28 / 62 » Reasoning with Axioms: Theory and Practice |
100
click to vote
AGI
2008
15 years 2 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
115
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
148
click to vote
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
ACSC
2002
IEEE
15 years 6 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
123
click to vote
OPODIS
2007
15 years 2 months ago
2007
Abstract. In small-world networks, each peer is connected to its closest neighbors in the network topology, as well as to additional long-range contact(s), also called shortcut(s)....