Concepedia

Tiago de Lima

TD

Statistics

Publications

10

Citations

352

H-Index

10

Active since

2007

Affiliations

Institut de Recherche en Informatique de Toulouse(Current)

Centre National de la Recherche Scientifique

Université Toulouse III - Paul Sabatier

Université Toulouse-I-Capitole

Institut Polytechnique de Bordeaux

Tiago de Lima is an author at Institut de Recherche en Informatique de Toulouse specializing in logic, computer science, and computing.

Publications per year

2007–2017

10

Publications

10

‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch et al. · The Review of Symbolic Logic · 2008 · 136 citations · Full text

Humanities, Mathematics, Epistemology +13

What can we achieve by arbitrary announcements?

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch et al. · 2007 · 51 citations · Full text

Humanities, Mathematics, Formal Methods +12

Tableaux for Public Announcement Logic

Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig et al. · Journal of Logic and Computation · 2008 · 39 citations

Computing, Computer Science, Formal Methods +8

From Situation Calculus to Dynamic Epistemic Logic

Hans van Ditmarsch, Andreas Herzig, Tiago de Lima · Journal of Logic and Computation · 2010 · 29 citations

Humanities, Philosophy, Knowledge Representation +8

A logic for reasoning about responsibility

Tiago de Lima, Lambèr Royakkers, F. Dignum · Logic Journal of IGPL · 2010 · 23 citations

Computing, Autonomous Systems, Artificial Intelligence +16

1–5 of 10