Author of the publication

Multi-Agent Relational Reinforcement Learning. Explorations in Multi-State Coordination Tasks

, , , and . Learning and Adaptation in Multi-Agent Systems, volume 3898 of Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code, , , and . CoRR, (2007)Coherent Integration of Databases by Abductive Logic Programming, , , and . CoRR, (2011)Extending constraint logic programming with open functions., and . PPDP, page 235-244. ACM, (2000)Polymorphic algebraic data type reconstruction., and . PPDP, page 85-96. ACM, (2006)On the Automatic Generation of Events in Delta Prolog., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 324-339. Springer, (1990)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., and . LPAR, volume 1705 of Lecture Notes in Computer Science, page 358-375. Springer, (1999)A Practical Framework for the Abstract Interpretation of Logic Programs.. J. Log. Program., 10 (2): 91-124 (1991)Verification of Source Code Transformations by Program Equivalence Checking., , , and . CC, volume 3443 of Lecture Notes in Computer Science, page 221-236. Springer, (2005)Deriving Transformations for Logic Programs Using Abstract Interpretation., and . LOPSTR, page 99-117. Springer, (1992)Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems., , , , and . J. Electron. Test., 26 (2): 279-292 (2010)