4573 search results - page 546 / 915 » Automated Reasoning |
179
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
The DL-Lite family of Description Logics has been designed with the specific goal of allowing for answering complex queries (in particular, conjunctive queries) over ontologies w...
120
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
134
click to vote
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
In possibility theory, the degree of inconsistency is commonly used to measure the level of conflict in information from multiple sources after merging, especially conjunctive merg...
142
click to vote
ICCBR
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present an approach for reducing the memory footprint requirement of temporal difference methods in which the set of states is finite. We use case-based generaliza...
125
click to vote
ICCBR
2010
Springer
15 years 8 months ago
2010
Springer
In previous papers we have presented our autonomous poker playing agent (SARTRE) that uses a memory-based approach to create a betting strategy for two-player, limit Texas Hold’e...