874 search results - page 18 / 175 » Computing Weighted Solutions in Answer Set Programming |
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
In the solution path algorithm of support vector regression, the penalty for violation of the required error is considered equally for every training sample, which means every tra...
CP
2007
Springer
14 years 4 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluat...
PVM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper presents the concept of parallelisation of a solver for Answer Set Programming (ASP). While there already exist some approaches to parallel ASP solving, there ...
ECAI
2008
Springer
14 years 5 days ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...