PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bulling, Nils"

Author of the publication

copydeleteadd this publication to your clipboard
On the (Un-)Decidability of Model Checking Resource-Bounded Agents.

, and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 567-572. IOS Press, (2010)

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.

Nils Rodrigues University of Stuttgart

A Visual Analytics Approach for Word Relevances in Multiple Texts, , , and . (2017)

Univ. -Prof. Dr. Andreas Bulling University of Stuttgart

Hon. -Prof. Dr. Alexander Bulling University of Stuttgart

Julia Bulling University of Stuttgart

Nils Reiter

 

Other publications of authors with the same name

On the (Un-)Decidability of Model Checking Resource-Bounded Agents., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 567-572. IOS Press, (2010)Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games., , and . PRIMA, volume 8291 of Lecture Notes in Computer Science, page 37-53. Springer, (2013)On the Complexity of Resource-Bounded Logics., , , and . RP, volume 9899 of Lecture Notes in Computer Science, page 36-50. Springer, (2016)Logics for Reasoning About Strategic Abilities in Multi-player Games., , and . Models of Strategic Reasoning, volume 8972 of Lecture Notes in Computer Science, Springer, (2015)Agents with truly perfect recall in alternating-time temporal logic., , and . AAMAS, page 1561-1562. IFAAMAS/ACM, (2014)Rational play and rational beliefs under uncertainty., and . AAMAS (1), page 257-264. IFAAMAS, (2009)Security and Robustness for Collaborative Monitors., , and . COIN@AAMAS/IJCAI, volume 9628 of Lecture Notes in Computer Science, page 376-395. Springer, (2015)Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)., and . Dagstuhl Reports, 4 (8): 21-44 (2014)On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic., , , and . IJCAI, page 1494-1501. AAAI Press, (2015)Modelling coalitions: ATL + argumentation., , and . AAMAS (2), page 681-688. IFAAMAS, (2008)