1486 search results - page 216 / 298 » A Logically Saturated Extension of |
162
click to vote
IMSCCS
2006
IEEE
16 years 11 days ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
186
click to vote
ACL2
2006
ACM
16 years 9 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
134
click to vote
ENC
2005
IEEE
15 years 12 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
143
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
159
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...