2012 search results - page 199 / 403 » CORAL - Control, Relations and Logic |
163
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
160
click to vote
DLOG
1996
15 years 8 months ago
1996
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
137
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
149
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper attempts to determine the capabilities of existing Redundancy Addition and Removal (SRAR) techniques for logic optimization of sequential circuits. To this purpose, we ...
169
click to vote
AIIA
2007
Springer
16 years 23 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...