Sciweavers

3136 search results - page 166 / 628
» Genetic programming theory
Sort
View
ICLP
2010
Springer
15 years 8 months ago
Program analysis for code duplication in logic programs
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
Celine Dandois
ASP
2001
Springer
15 years 8 months ago
Learning by Answer Sets
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
Chiaki Sakama
ICFP
2005
ACM
16 years 4 months ago
Translating specifications from nominal logic to CIC with the theory of contexts
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
Marino Miculan, Ivan Scagnetto, Furio Honsell
SIGADA
2004
Springer
15 years 9 months ago
Comparative analysis of genetic algorithm implementations
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Robert Soricone, Melvin Neville
ISMB
1993
15 years 5 months ago
MultiMap: An Expert System for Automated Genetic Linkage Mapping
Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
Tara Cox Matise, Mark Perlin, Aravinda Chakravarti