TARK 2007 - PDF Preprint Papers

TARK 2007 Theoretical Aspects Of Rationality And Knowledge

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TARK-2007 Paper

click to vote

TARK
2007
Springer

149views Automated Reasoning» more TARK 2007»

From conditional probability to the logic of doxastic actions

13 years 10 months ago

Download www.vub.ac.be

We investigate the discrete (ﬁnite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...

Alexandru Baltag, Sonja Smets

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	149	From conditional probability to the logic of doxastic actions	claim
2	145	Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness	claim
3	122	Generalized solution concepts in games with possibly unaware players	claim
4	116	Robust equilibria under non-common priors	claim
5	114	A normal simulation of coalition logic and an epistemic extension	claim
6	114	Knowledge-based modelling of voting protocols	claim
7	111	Learning, regret minimization and option pricing	claim
8	107	The computational complexity of choice sets	claim
9	105	A canonical model for interactive unawareness	claim
10	103	Alternating-time temporal logics with irrevocable strategies	claim
11	99	Incorporating unawareness into contract theory	claim
12	96	Merging frameworks for interaction: DEL and ETL	claim
13	95	Sequential voting rules and multiple elections paradoxes	claim
14	95	Judgment aggregation and the problem of truth-tracking	claim
15	95	Imaging and Sleeping Beauty: a case for double-halfers	claim
16	93	Common p-belief and uncertainty	claim
17	92	Alternating-time temporal logic with explicit strategies	claim
18	91	Theorems and unawareness	claim
19	89	Preservation of epistemic properties in security protocol implementations	claim
20	87	Dealing with logical omniscience	claim
21	83	Inexact knowledge, margin for error and positive introspection	claim
22	82	Vote manipulation in the presence of multiple sincere ballots	claim
23	82	Explaining quantity implicatures	claim
24	81	A flexible mechanism for dialogue design	claim
25	79	Games, geometry, and the computational complexity of finding equilibria	claim
26	78	Unawareness and strategic announcements in games with uncertainty	claim
27	75	What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability	claim
28	71	Unawareness, beliefs and games	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers