1963 search results - page 71 / 393 » Applications of Preferences using Answer Set Programming |
144
click to vote
CORR
2010
Springer
15 years 7 days ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
123
click to vote
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
118
click to vote
ILP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
132
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Background: Accurate estimation of statistical significance of a pairwise alignment is an important problem in sequence comparison. Recently, a comparative study of pairwise stati...
117
click to vote
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...