5198 search results - page 307 / 1040 » A Logic of Agent Programs |
182
click to vote
ILP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
273
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
163
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we propose a genetic network programming (GNP) architecture using a coevolution model called automatically defined groups (ADG). The GNP evolves networks for describ...
130
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
149
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...