2308 search results - page 196 / 462 » Representing Symbolic Reasoning |
211
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
182
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
164
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
186
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...
142
click to vote
FOIS
2008
15 years 8 months ago
2008
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...