e
|
Bulling, Nils and Goranko, Valentin: How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games, to appear in 2013 |
|
|
Bulling, Nils and Dastani, Mehdi and Knobbout, Max: Monitoring Norm Violations in Multi-Agent Systems, ACM Press, 2013 |
|
|
Bulling, Nils and K: A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks, Lecture Notes in Computer Science, Volume 7486, Springer, 2012 |
|
|
Dix, J: Privacy Preservation Using Multi-context Systems and Default Logic, Lecture Notes in Computer Science, Volume 7265, Springer, 2012 |
|
|
Dix, J: The Multi-Agent Programming Contest 2012, Lecture Notes in Computer Science, Volume 7837, Springer, 2012 |
|
|
Behrens, Tristan and Bordini, Rafael and Braubach, Lars and Dastani, Mehdi and Dix, J: An Interface for Agent-Environment Interaction, LNCS, Volume 6599, Springer Verlag, 2011 |
|
|
Bulling, Nils and Dastani, Mehdi: Verification and Implementation of Normative Behaviours in Multi-Agent Systems, 2011 |
|
|
Bulling, Nils and Dastani, Mehdi: Normative Mechanism Design (extended abstract), ACM Press, 2011 |
|
|
Bulling, Nils and Hindriks, Koen V.: Taming the Complexity of Linear Time BDI Logics, ACM Press, 2011 |
|
|
Bulling, Nils and Jamroga, Wojciech: Alternating Epistemic Mu-Calculus, 2011 |