4617 search results - page 588 / 924 » Automation of Diagrammatic Reasoning |
154
click to vote
LICS
1990
IEEE
15 years 11 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
229
click to vote
KR
2010
Springer
15 years 11 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...
175
click to vote
CSL
2007
Springer
15 years 11 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...
186
Voted
ECSQARU
2007
Springer
15 years 11 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...
211
Voted
ICCBR
2010
Springer
15 years 11 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...