1321 search results - page 132 / 265 » Subtyping in Logical Form |
186
click to vote
PKDD
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
163
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
145
click to vote
DSD
2007
IEEE
16 years 23 days ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
191
click to vote
AIIA
2007
Springer
16 years 18 days ago
2007
Springer
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
142
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...