3244 search results - page 123 / 649 » Extensions to Description Logics |
179
click to vote
DLOG
2006
15 years 7 months ago
2006
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
151
click to vote
FMCAD
2000
Springer
15 years 10 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...
213
click to vote
ESANN
1997
15 years 7 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...
141
click to vote
FLAIRS
2008
15 years 8 months ago
2008
This paper presents proposals of certain extensions to the XTT knowledge representation model, a method of tabular specification for rule-based systems. The extensions concern
162
click to vote
FUIN
2010
15 years 3 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr