|
|
WEBSITE NAVIGATION |
|
|
|
¡¡ |
|
|
ACCEPTED PAPERS |
|
|
| Contributed papers
- Thomas Agotnes, Paul Harrenstein, Wiebe van der Hoek and Michael Wooldridge. Boolean Games with Epistemic Goals
- Natasha Alechina, Fenrong Liu and Brian Logan. Minimal preference change
- Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun and Sonja Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge
- Zo¨¦ Christoff and Jens Ulrik Hansen. A two-tiered formalization of social influence
- Ka-Fat Chow. A Semantic Model for Interrogatives based on Generalized Quantifiers and Bilattices
- Jianying Cui and Xudong Luo. A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint
- Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini and Francois Schwarzentruber. Listen to me! Public announcements to agents that pay attention - or not
- Norbert Gratzl. Sequent calculi for multi-modal logic with interaction
- Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano. Dynamic Epistemic Logic Displayed
- Valentin Goranko and Paolo Turrini. An offer you cannot refuse: obtaining efficiency and fairness in preplay negotiation games with conditional offers
- Kristine Harjes and Pavel Naumov. Cellular Games, Nash Equilibria, and Fibonacci Numbers
- Andreas Herzig, Emiliano Lorini and Dirk Walther. Reasoning about actions meets strategic logics
- Hsiang-Yun Chen. Plan recognition, indefinites, and the semantics-pragmatics boundary
- Fengkui Ju and Li Liang. A Dynamic Deontic Logic Based on Histories
- Louwe B. Kuijer. Sequent systems for nondeterministic propositional logics without reflexivity
- Katsuhiko Sano and Minghui Ma. How to Update Neighborhood Models
- Jeremy Seligman and Guo Meiyun. The logic of a priori and a posteriori rationality in strategic games
- Xin Sun. Proof Theory, Semantics and Algebra for Normative Systems
- Fernando R. Vel¨¢zquez-Quesada. Explicit and Implicit Knowledge in Neighbourhood Models
- Fernando R. Vel¨¢zquez-Quesada. Expressivity hierarchy of languages for epistemic awareness models
- Y¨¬ N. W¨¢ng and Thomas Agotnes. Public Announcements, Private Actions and Common Knowledge in S5 Structures
- Xuefeng Wen and Hu Liu. From Logical Aggregation to Aggregation of Logics
- Qiaoting Zhong, Xudong Luo, Frans van Eemeren and Fan Huang. The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court
Poster presentations
- Huimin Dong and Xiaowu Li. A Deontic Action Logic for Complex Actions
- Martin Holm Jensen. Planning using Dynamic Epistemic Logic: Correspondence and Complexity
- Chanjuan Liu, Fenrong Liu and Kaile Su. A Logic for Extensive Games with Short Sight
- Yang Liu. Bayesian Games with Epistemic Quantifications
- Guifei Jiang, Dongmo Zhang and Xiaojia Tang. Judgment Aggregation with Abstentions: a Hierarchical Approach
- Rasmus K. Rendsvig. A Qualitative Model of Informational Cascades
- Ben Rodenhauser. Dynamic Attitudes, Fixed Points and Minimal Change
- Chenwei Shi. Logic of Evidence-Based Knowledge
- Jakub Szymanik. Backward Induction is PTIME-complete
- Shengli Zhang. On Fuzzy Propositional Logic with Different Negations
|
|
|
| ¡¡ |
|
