7167 search results - page 301 / 1434 » Answer Set Programming |
146
click to vote
FSS
2007
15 years 6 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
159
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
155
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
158
click to vote
EMMCVPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
144
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...