3595 search results - page 93 / 719 » Roles of Program Extension |
160
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
131
click to vote
SIGCSE
2000
ACM
15 years 8 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
141
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
121
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Aspect-oriented programming (AOP) is gaining popularity as a new way of modularising cross-cutting concerns. The aspectbench compiler (abc) is a new workbench for AOP research whi...
137
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evalua...