1285 search results - page 31 / 257 » Description Logic Reasoner: System Description |
DLOG
2003
15 years 1 months ago
2003
FMCAD
2000
Springer
15 years 3 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...
114
click to vote
DLOG
2007
15 years 2 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
DLOG
2003
15 years 1 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE