1435 search results - page 65 / 287 » E-connections of Description Logics |
130
click to vote
LOGCOM
2000
15 years 29 days ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
104
Voted
CADE
2001
Springer
16 years 1 months ago
2001
Springer
FMCAD
2000
Springer
15 years 4 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...
151
click to vote
ESANN
1997
15 years 2 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...
130
Voted
OWLED
2008
15 years 2 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...