3244 search results - page 481 / 649 » Extensions to Description Logics |
163
click to vote
IFSA
2007
Springer
16 years 21 days ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
165
click to vote
IMSCCS
2006
IEEE
16 years 17 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 ...
191
click to vote
ACL2
2006
ACM
16 years 16 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, (...
140
click to vote
ENC
2005
IEEE
16 years 5 days 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...
151
click to vote
ICLP
2005
Springer
16 years 2 days 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 ...