648 search results - page 30 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
103
click to vote
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
114
click to vote
VECPAR
2004
Springer
15 years 6 months ago
2004
Springer
In this work we investigate how the compiler technique of message strip mining performs in practice on contemporary high performance networks. Message strip mining attempts to redu...
109
click to vote
AAAI
1996
15 years 2 months ago
1996
ContactFinder is an intelligent agent whose approach to assisting users is valuable and innovative in the following four ways. First, ContactFinder operates proactively in reading...
255
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
To improve the performance of a single application on Chip Multiprocessors (CMPs), the application must be split into threads which execute concurrently on multiple cores. In mult...
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...