119 search results - page 2 / 24 » Completion Is an Instance of Abstract Canonical System Infer... |
IJDMMM
2008
13 years 6 months ago
2008
: Combining multiple data sources, each with its own features, to achieve optimal inference has received a lot of attention in recent years. In inference from multiple data sources...
STACS
2009
Springer
14 years 1 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
BIRTHDAY
2010
Springer
13 years 3 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
ACCV
2010
Springer
13 years 7 months ago
2010
Springer
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
WISE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...