2529 search results - page 379 / 506 » The Logical Structure of Binding |
202
click to vote
AIIA
1991
Springer
15 years 10 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
195
click to vote
AAAI
2007
15 years 8 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
144
click to vote
AAAI
2008
15 years 8 months ago
2008
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...
171
click to vote
DLOG
2007
15 years 8 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
142
click to vote
DLOG
2008
15 years 8 months ago
2008
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...