3562 search results - page 19 / 713 » Introduction to Logic Programming |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
85
Voted
VAMOS
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
ALIFE
2004
14 years 9 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
92
Voted
ICLP
1991
Springer
15 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1