3136 search results - page 265 / 628 » Genetic programming theory |
151
click to vote
ATAL
2009
Springer
16 years 13 days ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
145
click to vote
RR
2009
Springer
16 years 12 days ago
2009
Springer
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
142
click to vote
SAS
2007
Springer
15 years 12 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
146
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
199
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...