3546 search results - page 361 / 710 » A Causal Logic of Logic Programming |
161
click to vote
EUROGP
2008
Springer
15 years 7 months ago
2008
Springer
A new class of FPGA-based accelerators is presented for Cartesian Genetic Programming (CGP). The accelerators contain a genetic engine which is reused in all applications. Candidat...
168
click to vote
ECEASST
2008
15 years 5 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
163
click to vote
RULEML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
174
click to vote
ENTCS
2002
15 years 5 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
162
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...