Author of the publication

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

A Formalization of Programs in First-Order Logic with a Discrete Linear Order.. KR, AAAI Press, (2014)Voting with partial information: what questions to ask?, and . AAMAS, page 1237-1238. IFAAMAS, (2013)Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning, , , , , and . (2019)cite arxiv:1910.09986.Forgetting and Knowledge Update., , and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 131-140. Springer, (2006)Loop Formulas for Circumscription., and . AAAI, page 281-286. AAAI Press / The MIT Press, (2004)K-Memory Strategies in Repeated Games., , , , , and . AAMAS, page 1493-1498. ACM, (2017)Mapping Action Language BC to Logic Programs: A Characterization by Postulates., and . AAAI, page 1116-1123. AAAI Press, (2016)Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs., and . IJCAI, page 312-317. (2009)How to Progress a Database II: The STRIPS Connection., and . IJCAI, page 2001-2009. Morgan Kaufmann, (1995)Foundations of a Logical Approach to Agent Programming., , , , , and . ATAL, volume 1037 of Lecture Notes in Computer Science, page 331-346. Springer, (1995)