default search action
Nils Bulling
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j16]Nils Bulling, Valentin Goranko
:
Combining quantitative and qualitative reasoning in concurrent multi-player games. Auton. Agents Multi Agent Syst. 36(1): 2 (2022) - [c33]Nils Bulling, Valentin Goranko:
Combining Quantitative and Qualitative Reasoning in Concurrent Multi-player Games. AAMAS 2022: 1926-1928
2010 – 2019
- 2019
- [j15]Nils Bulling, Wojciech Jamroga
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20(2): 10:1-10:46 (2019) - 2018
- [j14]Natasha Alechina
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750: 69-100 (2018) - 2017
- [j13]Natasha Alechina
The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. 245: 56-85 (2017) - 2016
- [j12]Nils Bulling, Mehdi Dastani:
Norm-based mechanism design. Artif. Intell. 239: 97-142 (2016) - [j11]Nils Bulling:
Special issue on multi-agent systems. Ann. Math. Artif. Intell. 78(1): 1-2 (2016) - [j10]Nils Bulling, Wiebe van der Hoek
Special Issue on Logical Aspects of Multi-Agent Systems. Stud Logica 104(4): 593-595 (2016) - [c32]Nils Bulling, Koen V. Hindriks
Boolean Negotiation Games. COREDEMA@ECAI 2016: 1-18 - [c31]Bas Testerink, Mehdi Dastani, Nils Bulling:
Distributed Controllers for Norm Enforcement. ECAI 2016: 751-759 - [c30]Nils Bulling, Koen V. Hindriks
Boolean Negotiation Games. ECAI 2016: 1748-1749 - [c29]Natasha Alechina
On the Complexity of Resource-Bounded Logics. RP 2016: 36-50 - 2015
- [j9]Nils Bulling, Matei Popovici:
A game-theoretic approach to compute stable topologies in mobile ad hoc networks. J. Log. Comput. 25(3): 639-667 (2015) - [c28]Bas Testerink, Nils Bulling, Mehdi Dastani:
Security and Robustness for Collaborative Monitors. COIN@AAMAS/IJCAI 2015: 376-395 - [c27]Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan:
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS 2015: 443-451 - [c26]Bas Testerink, Nils Bulling, Mehdi Dastani:
A Model for Collaborative Runtime Verification. AAMAS 2015: 1781-1782 - [c25]Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen:
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI 2015: 1494-1501 - [c24]Nils Bulling, Hoang Nga Nguyen:
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. PRIMA 2015: 640-649 - [p2]Nils Bulling, Valentin Goranko, Wojciech Jamroga
Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning 2015: 93-136 - [e3]Nils Bulling:
Multi-Agent Systems - 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8953, Springer 2015, ISBN 978-3-319-17129-6 [contents] - [e2]Jörg P. Müller, Wolf Ketter
Multiagent System Technologies - 13th German Conference, MATES 2015, Cottbus, Germany, September 28-30, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9433, Springer 2015, ISBN 978-3-319-27342-6 [contents] - [i2]Nils Bulling, Hoang Nga Nguyen:
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. CoRR abs/1508.02326 (2015) - 2014
- [j8]Nils Bulling, Wojciech Jamroga
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi Agent Syst. 28(3): 474-518 (2014) - [j7]Nils Bulling:
Special Issue on Multi-Agent Decision Making. Künstliche Intell. 28(3): 143-146 (2014) - [j6]Nils Bulling:
A Survey of Multi-Agent Decision Making. Künstliche Intell. 28(3): 147-158 (2014) - [j5]Nils Bulling:
Interview with Professor Sarit Kraus. Künstliche Intell. 28(3): 215-221 (2014) - [c23]Nils Bulling, Wojciech Jamroga, Matei Popovici:
Agents with truly perfect recall in alternating-time temporal logic. AAMAS 2014: 1561-1562 - [c22]Nils Bulling, Wojciech Jamroga
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI 2014: 177-182 - [c21]Nils Bulling:
A Boolean Game Based Modeling of Socio-Technical Systems. MATES 2014: 7-25 - [e1]Nils Bulling, Leendert W. N. van der Torre
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3 [contents] - [i1]Thomas Ågotnes, Nils Bulling:
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports 4(8): 21-44 (2014) - 2013
- [c20]Nils Bulling, Mehdi Dastani, Max Knobbout:
Monitoring norm violations in multi-agent systems. AAMAS 2013: 491-498 - [c19]Nils Bulling, Mehdi Dastani:
Coalitional Responsibility in Strategic Settings. CLIMA 2013: 172-189 - [c18]Nils Bulling, Sujata Ghosh, Rineke Verbrugge:
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. PRIMA 2013: 37-53 - [c17]Nils Bulling, Valentin Goranko:
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract). SR 2013: 33-41 - 2012
- [c16]Nils Bulling, Michael Köster, Matei Popovici:
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. CLIMA 2012: 128-145 - 2011
- [c15]Nils Bulling, Koen V. Hindriks:
Taming the complexity of linear time BDI logics. AAMAS 2011: 275-282 - [c14]Nils Bulling, Mehdi Dastani:
Normative programs and normative mechanism design. AAMAS 2011: 1187-1188 - [c13]Nils Bulling, Mehdi Dastani:
Verifying Normative Behaviour via Normative Mechanism Design. IJCAI 2011: 103-108 - [c12]Nils Bulling, Wojciech Jamroga
Alternating Epistemic Mu-Calculus. IJCAI 2011: 109-114 - [c11]Wojciech Jamroga
Comparing Variants of Strategic Ability. IJCAI 2011: 252-257 - 2010
- [b1]Nils Bulling:
Modelling and verifying abilities of rational agents. Clausthal University of Technology, Papierflieger-Verlag 2010, ISBN 978-3-942216-41-8 - [j4]Nils Bulling, Jürgen Dix:
Modelling and Verifying Coalitions using Argumentation and ATL. Inteligencia Artif. 14(46): 45-73 (2010) - [j3]Nils Bulling, Wojciech Jamroga
Verifying agents with memory is harder than it seemed. AI Commun. 23(4): 389-403 (2010) - [c10]Nils Bulling, Wojciech Jamroga:
Verifying agents with memory is harder than it seemed. AAMAS 2010: 699-706 - [c9]Nils Bulling, Berndt Farwer
On the (Un-)Decidability of Model Checking Resource-Bounded Agents. ECAI 2010: 567-572 - [p1]Nils Bulling:
Modellierung und Verifikation von Fähigkeiten rationaler Agenten. Ausgezeichnete Informatikdissertationen 2010: 61-70
2000 – 2009
- 2009
- [j2]Nils Bulling, Wojciech Jamroga
What Agents Can Probably Enforce. Fundam. Informaticae 93(1-3): 81-96 (2009) - [c8]Nils Bulling, Wojciech Jamroga:
Rational play and rational beliefs under uncertainty. AAMAS (1) 2009: 257-264 - [c7]Nils Bulling, Berndt Farwer
Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. CLIMA 2009: 22-45 - [c6]Nils Bulling, Koen V. Hindriks
Towards a Verification Framework for Communicating Rational Agents. MATES 2009: 177-182 - 2008
- [j1]Nils Bulling, Wojciech Jamroga
Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008) - [c5]Nils Bulling, Carlos Iván Chesñevar
An Argumentative Approach for Modelling Coalitions Using ATL. ArgMAS 2008: 197-216 - [c4]Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar:
Modelling coalitions: ATL + argumentation. AAMAS (2) 2008: 681-688 - 2007
- [c3]Wojciech Jamroga
A framework for reasoning about rational agents. AAMAS 2007: 88 - [c2]Nils Bulling, Wojciech Jamroga
Agents, beliefs, and plausible behavior in a temporal setting. AAMAS 2007: 146 - [c1]Wojciech Jamroga
A Logic for Reasoning about Rational Agents. CLIMA 2007: 42-61
Coauthor Index
aka: Wojtek Jamroga
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: