7167 search results - page 301 / 1434 » Answer Set Programming |
110
click to vote
FSS
2007
15 years 2 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...
124
Voted
ICSM
2005
IEEE
15 years 8 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...
112
click to vote
CP
2005
Springer
15 years 8 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...
122
Voted
EMMCVPR
2005
Springer
15 years 8 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...
106
Voted
SAS
2005
Springer
15 years 8 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...