researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2008
2009
Filter by Tag
OR
AND
NOT
1
Meta-Environment
analysis
logic
logic programming
modal logic
open-source
points-to analysis
rule-based
source-to-source
Filter by Author
[+]
OR
AND
NOT
1
Abdur Rakib
Alessandro Ricci
Andreas Herzig
Andrew Dowell
Brian Logan
Carles Sierra
Cédric Dégremont
Davide Grossi
Emiliano Lorini
Hans P. van Ditmarsch
John K. Debenham
John-Jules Ch. Meyer
Lena Kurzen
Mehdi Dastani
Michael Wooldridge
Michele Piunti
Natasha Alechina
Nguyen Hoang Nga
Nick A. M. Tinnemeier
Peter McBurney
Filter by Top terms
[+]
OR
AND
NOT
1
17
2008
agent
agents
agreements
algorithms
analogical
analysis
anytime
argumentation
artifacts
australia
beliefs
bounded
information
logics
modal
multi
reasoning
systems
KRAMAS (kramas)
Editions
Publications
Viewing Publication 1 - 11 from 11
2009
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
John-Jules Ch. Meyer
,
Jan Broersen
, editors,
Volume 5605 of
Lecture Notes in Computer Science
, Springer,
2009.
[doi]
2008
Reasoning about Other Agents Beliefs under Bounded Resources
Natasha Alechina
,
Brian Logan
,
Nguyen Hoang Nga
,
Abdur Rakib
.
kramas 2009
:
1-15
[doi]
Normative Multi-agent Programs and Their Logics
Mehdi Dastani
,
Davide Grossi
,
John-Jules Ch. Meyer
,
Nick A. M. Tinnemeier
.
kramas 2009
:
16-31
[doi]
Modal Logics for Preferences and Cooperation: Expressivity and Complexity
Cédric Dégremont
,
Lena Kurzen
.
kramas 2009
:
32-50
[doi]
On the Dynamics of Institutional Agreements
Andreas Herzig
,
Tiago De Lima
,
Emiliano Lorini
.
kramas 2009
:
66-80
[doi]
From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic
Emiliano Lorini
,
Robert Demolombe
.
kramas 2009
:
81-98
[doi]
Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms
Tomasz P. Michalak
,
Andrew Dowell
,
Peter McBurney
,
Michael Wooldridge
.
kramas 2009
:
99-113
[doi]
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Michele Piunti
,
Alessandro Ricci
.
kramas 2009
:
114-129
[doi]
Information-Based Argumentation
Carles Sierra
,
John K. Debenham
.
kramas 2009
:
130-144
[doi]
Mediation = Information Revelation + Analogical Reasoning
Simeon J. Simoff
,
Carles Sierra
,
Ramon López de Mántaras
.
kramas 2009
:
145-160
[doi]
Simulation and Information: Quantifying over Epistemic Events
Hans P. van Ditmarsch
,
Tim French
.
kramas 2009
:
51-65
[doi]
Sign in
or
sign up
to see more results.