1144 search results - page 120 / 229 » Logic programming for combinatorial problems |
163
click to vote
KI
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
166
click to vote
WCRE
2006
IEEE
16 years 8 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
173
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
133
click to vote
ENC
2005
IEEE
15 years 12 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
158
click to vote
SSR
2001
15 years 7 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...