673 search results - page 112 / 135 » Approximate coherence-based reasoning |
CORR
2000
Springer
14 years 11 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
110
click to vote
JAIR
2002
14 years 11 months ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
103
click to vote
JCC
2002
14 years 11 months ago
2002
: Constant dielectric (CD) and distance-dependent dielectric (DDD) functions are the most popular and widespread in the Molecular Mechanics simulations of large molecular systems. ...
100
click to vote
HEURISTICS
2008
14 years 10 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
PVLDB
2010
14 years 10 months ago
2010
A foreign/primary key relationship between relational tables is one of the most important constraints in a database. From a data analysis perspective, discovering foreign keys is ...