3793 search results - page 143 / 759 » Expressive Description Logics |
118
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
131
click to vote
IJAR
2008
15 years 4 months ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
152
click to vote
DIAGRAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
123
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
183
click to vote
ESANN
1997
15 years 5 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...