|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 6 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nils Bulling, Wojciech Jamroga |
Alternating Epistemic Mu-Calculus.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nils Bulling, Mehdi Dastani |
Verifying Normative Behaviour via Normative Mechanism Design. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Nils Bulling |
Comparing Variants of Strategic Ability. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nils Bulling, Mehdi Dastani |
Normative programs and normative mechanism design. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nils Bulling, Koen V. Hindriks |
Taming the complexity of linear time BDI logics. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nils Bulling |
Modelling and verifying abilities of rational agents. |
|
2010 |
RDF |
|
| 1 | Nils Bulling, Jürgen Dix |
Modelling and Verifying Coalitions using Argumentation and ATL. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nils Bulling, Wojciech Jamroga |
Verifying agents with memory is harder than it seemed. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Berndt Farwer |
On the (Un-)Decidability of Model Checking Resource-Bounded Agents. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Wojciech Jamroga |
Verifying agents with memory is harder than it seemed. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Wojciech Jamroga |
What Agents Can Probably Enforce. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Berndt Farwer |
Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Koen V. Hindriks |
Towards a Verification Framework for Communicating Rational Agents. |
MATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Wojciech Jamroga |
Rational play and rational beliefs under uncertainty. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
imperfect information games, knowledge and beliefs, temporal logic |
| 1 | Nils Bulling, Wojciech Jamroga, Jürgen Dix |
Reasoning about temporal properties of rational play. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B70, 91A26 |
| 1 | Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix |
An Argumentative Approach for Modelling Coalitions Using ATL. |
ArgMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar |
Modelling coalitions: ATL + argumentation. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Nils Bulling |
A Logic for Reasoning about Rational Agents. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Nils Bulling |
A framework for reasoning about rational agents. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
game theory, temporal logic, multiagent systems, rationality |
| 1 | Nils Bulling, Wojciech Jamroga |
Agents, beliefs, and plausible behavior in a temporal setting. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
temporal logic, multiagent systems, beliefs, plausibility |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")