4573 search results - page 326 / 915 » Automated Reasoning |
146
click to vote
DLOG
2008
15 years 9 months ago
2008
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
233
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
187
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
165
click to vote
DLOG
2006
15 years 8 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
182
click to vote
DLOG
2010
15 years 4 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...