UB Paderborn / Katalog / Suche / in CDI

The logic of secrets and the interpolation rule

Annals of mathematics and artificial intelligence, 2023-08, Vol.91 (4), p.375-407

2023

Link zum Volltext

Verfügbarkeit prüfen

Quantifying over information change with common knowledge

Autonomous agents and multi-agent systems, 2023-06, Vol.37 (1), Article 19

2023

Link zum Volltext

Verfügbarkeit prüfen

Resolving distributed knowledge

Artificial intelligence, 2017-11, Vol.252, p.1-21

2017

Link zum Volltext

Verfügbarkeit prüfen

Coalition Logic for Specification and Verification of Smart Contract Upgrades

PRIMA 2022: Principles and Practice of Multi-Agent Systems, p.563-572

Link zum Volltext

Verfügbarkeit prüfen

On the Logic of Balance in Social Networks

Journal of logic, language, and information, 2020-03, Vol.29 (1), p.53-75

2020

Link zum Volltext

Verfügbarkeit prüfen

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power

Journal of logic, language, and information, 2022-06, Vol.31 (2), p.141-166

2022

Link zum Volltext

Verfügbarkeit prüfen

Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation

1st ed. 2019., 2019

Link zum Volltext

Verfügbarkeit prüfen

Reasoning about coalitional games

Artificial intelligence, 2009, Vol.173 (1), p.45-79

2009

Link zum Volltext

Verfügbarkeit prüfen

Logic and Games: an Introduction

Studia logica, 2014-04, Vol.102 (2), p.231-234

Ågotnes, Thomas

2014

Link zum Volltext

Verfügbarkeit prüfen

Constructive knowledge: what agents can achieve under imperfect information

Journal of applied non-classical logics, 2007-01, Vol.17 (4), p.423-475

2007

Link zum Volltext

Verfügbarkeit prüfen

True lies

Synthese (Dordrecht), 2018-10, Vol.195 (10), p.4581-4615

2018

Link zum Volltext

Verfügbarkeit prüfen

A Logic for Reasoning About Knowledge of Unawareness

Journal of logic, language, and information, 2014-06, Vol.23 (2), p.197-217

2014

Link zum Volltext

Verfügbarkeit prüfen

What will they say?—Public Announcement Games

Synthese (Dordrecht), 2011-04, Vol.179 (Suppl 1), p.57-85

2011

Link zum Volltext

Verfügbarkeit prüfen

Group announcement logic

Journal of applied logic, 2010-03, Vol.8 (1), p.62-81

2010

Link zum Volltext

Verfügbarkeit prüfen

Correction to: The logic of secrets and the interpolation rule

Annals of mathematics and artificial intelligence, 2023-12, Vol.91 (6), p.899-899

2023

Link zum Volltext

Verfügbarkeit prüfen

Reasoning about reasons behind preferences using modal logic

Information systems frontiers, 2015-08, Vol.17 (4), p.713-724

2015

Link zum Volltext

Verfügbarkeit prüfen

Relativized common knowledge for dynamic epistemic logic

Journal of applied logic, 2015-09, Vol.13 (3), p.370-393

2015

Link zum Volltext

Verfügbarkeit prüfen

Measuring Dissimilarity between Judgment Sets

Logics in Artificial Intelligence, p.609-617

Link zum Volltext

Verfügbarkeit prüfen

Resolving Distributed Knowledge

Electronic proceedings in theoretical computer science, 2016-06, Vol.215 (Proc. TARK 2015), p.31-50

2016

Link zum Volltext

Verfügbarkeit prüfen

Towards a Logic of Tweeting

Logic, Rationality, and Interaction, p.49-64

Link zum Volltext

Verfügbarkeit prüfen

Public announcement logic with distributed knowledge: expressivity, completeness and complexity

Synthese (Dordrecht), 2013-12, Vol.190 (Suppl 1), p.135-162

2013

Link zum Volltext

Verfügbarkeit prüfen

On the logic of preference and judgment aggregation

Autonomous agents and multi-agent systems, 2011, Vol.22 (1), p.4-30

2011

Link zum Volltext

Verfügbarkeit prüfen

Action and Knowledge in Alternating-Time Temporal Logic

Synthese (Dordrecht), 2006-03, Vol.149 (2), p.375-407

AGOTNES, Thomas

2006

Link zum Volltext

Verfügbarkeit prüfen

Multi-agency Is Coordination and (Limited) Communication

PRIMA 2014: Principles and Practice of Multi-Agent Systems, p.91-106

Link zum Volltext

Verfügbarkeit prüfen

Group Announcements: Logic and Games (Abstract of Invited Talk)

Computational Logic in Multi-Agent Systems, p.9-13

Ågotnes, Thomas

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

The logic of secrets and the interpolation rule

Quantifying over information change with common knowledge

Resolving distributed knowledge

Coalition Logic for Specification and Verification of Smart Contract Upgrades

On the Logic of Balance in Social Networks

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power

Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation

Reasoning about coalitional games

Logic and Games: an Introduction

Constructive knowledge: what agents can achieve under imperfect information

True lies

A Logic for Reasoning About Knowledge of Unawareness

What will they say?—Public Announcement Games

Group announcement logic

Correction to: The logic of secrets and the interpolation rule

Reasoning about reasons behind preferences using modal logic

Relativized common knowledge for dynamic epistemic logic

Measuring Dissimilarity between Judgment Sets

Resolving Distributed Knowledge

Towards a Logic of Tweeting

Public announcement logic with distributed knowledge: expressivity, completeness and complexity

On the logic of preference and judgment aggregation

Action and Knowledge in Alternating-Time Temporal Logic

Multi-agency Is Coordination and (Limited) Communication

Group Announcements: Logic and Games (Abstract of Invited Talk)

Suchergebnisse filtern