 | 2011 |
|---|
| 20 |       | Nils Bulling,
Mehdi Dastani:
Normative programs and normative mechanism design.
AAMAS 2011: 1187-1188 |
| 19 | | Nils Bulling,
Koen V. Hindriks:
Taming the complexity of linear time BDI logics.
AAMAS 2011: 275-282 |
| 18 | | Nils Bulling,
Mehdi Dastani:
Verifying Normative Behaviour via Normative Mechanism Design.
IJCAI 2011: 103-108 |
| 17 | | Nils Bulling,
Wojciech Jamroga:
Alternating Epistemic Mu-Calculus.
IJCAI 2011: 109-114 |
| 16 | | Wojciech Jamroga,
Nils Bulling:
Comparing Variants of Strategic Ability.
IJCAI 2011: 252-257 |
| 2010 |
|---|
| 15 | | Nils Bulling,
Wojciech Jamroga:
Verifying agents with memory is harder than it seemed.
AAMAS 2010: 699-706 |
| 14 | | Nils Bulling,
Berndt Farwer:
On the (Un-)Decidability of Model Checking Resource-Bounded Agents.
ECAI 2010: 567-572 |
| 13 | | Nils Bulling,
Wojciech Jamroga:
Verifying agents with memory is harder than it seemed.
AI Commun. 23(4): 389-403 (2010) |
| 12 | | Nils Bulling,
Jürgen Dix:
Modelling and Verifying Coalitions using Argumentation and ATL.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(46): 45-73 (2010) |
| 11 | | Nils Bulling:
Modelling and verifying abilities of rational agents.
Clausthal University of Technology 2010 |
| 2009 |
|---|
| 10 | | Nils Bulling,
Wojciech Jamroga:
Rational play and rational beliefs under uncertainty.
AAMAS (1) 2009: 257-264 |
| 9 | | Nils Bulling,
Berndt Farwer:
Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL.
CLIMA 2009: 22-45 |
| 8 | | Nils Bulling,
Koen V. Hindriks:
Towards a Verification Framework for Communicating Rational Agents.
MATES 2009: 177-182 |
| 7 | | Nils Bulling,
Wojciech Jamroga:
What Agents Can Probably Enforce.
Fundam. Inform. 93(1-3): 81-96 (2009) |
| 2008 |
|---|
| 6 | | Nils Bulling,
Jürgen Dix,
Carlos Iván Chesñevar:
Modelling coalitions: ATL + argumentation.
AAMAS (2) 2008: 681-688 |
| 5 | | Nils Bulling,
Carlos Iván Chesñevar,
Jürgen Dix:
An Argumentative Approach for Modelling Coalitions Using ATL.
ArgMAS 2008: 197-216 |
| 4 | | Nils Bulling,
Wojciech Jamroga,
Jürgen Dix:
Reasoning about temporal properties of rational play.
Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008) |
| 2007 |
|---|
| 3 | | Nils Bulling,
Wojciech Jamroga:
Agents, beliefs, and plausible behavior in a temporal setting.
AAMAS 2007: 146 |
| 2 | | Wojciech Jamroga,
Nils Bulling:
A framework for reasoning about rational agents.
AAMAS 2007: 88 |
| 1 | | Wojciech Jamroga,
Nils Bulling:
A Logic for Reasoning about Rational Agents.
CLIMA 2007: 42-61 |
Data released under the ODC-BY 1.0 license — See also our legal information page