2611 search results - page 131 / 523 » A Logic for Concepts and Similarity |
131
click to vote
AISB
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
131
click to vote
KSEM
2010
Springer
15 years 6 days ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
110
click to vote
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
The problem of content-based image and video retrieval with textual queries is often posed as that of visual concept classification, where classifiers for a set of predetermined...
106
Voted
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...