3032 search results - page 131 / 607 » Description Logic Rules |
67
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
Regulations are a wide-spread and important part of governmentand business. Theycodify howproducts must be madeand processes should be performed. Suchregulations can be difficult ...
84
Voted
AIL
1998
15 years 13 days ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
101
click to vote
DCC
2000
IEEE
15 years 5 months ago
2000
IEEE
Multiple description lattice vector quantization (MDLVQ) is a technique for two-channel multiple description coding. We observe that MDLVQ, in the form introduced by Servetto, Vai...
94
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
106
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...