T. Lima
发表
S. Doutre,
T. Lima,
2019
.
A. Herzig,
Emiliano Lorini,
N. Troquard,
2014
.
P. Balbiani,
A. Herzig,
H. V. Ditmarsch,
2006
.
Andreas Herzig,
Philippe Balbiani,
Alexandru Baltag,
2008,
The Review of Symbolic Logic.
Tiago De Lima,
T. Lima,
2014,
J. Log. Comput..
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2012,
J. Appl. Non Class. Logics.
Tiago De Lima,
T. Lima,
2011,
CLIMA.
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2011,
J. Log. Comput..
Andreas Herzig,
Hans van Ditmarsch,
Tiago De Lima,
2007,
AAAI.
Andreas Herzig,
Tiago De Lima,
A. Herzig,
2006,
IBERAMIA-SBIA.
Emiliano Lorini,
Andreas Herzig,
Tiago De Lima,
2009,
Synthese.
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2010,
J. Log. Comput..
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2010,
Log. J. IGPL.
Andreas Herzig,
Tiago De Lima,
A. Herzig,
2014,
ArXiv.
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2009,
AAMAS.
Frank Dignum,
Lambèr M. M. Royakkers,
Tiago De Lima,
2008,
NORMAS.
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2012,
Advances in Modal Logic.
Emiliano Lorini,
Hans van Ditmarsch,
Tiago De Lima,
2010,
LADS.
Andreas Herzig,
Philippe Balbiani,
Alexandru Baltag,
2007,
TARK '07.
Thomas Caridroit,
Sébastien Konieczny,
Pierre Marquis,
2015
.
Emiliano Lorini,
Andreas Herzig,
Nicolas Troquard,
2012,
DEON.
Jean-Marie Lagniez,
Valentin Montmirail,
Daniel Le Berre,
2016,
PAAR@IJCAR.
Thomas Caridroit,
Sébastien Konieczny,
Pierre Marquis,
2015,
ECSQARU.
Emiliano Lorini,
Andreas Herzig,
Tiago De Lima,
2009,
DALT.
Andreas Herzig,
Philippe Balbiani,
Hans van Ditmarsch,
2007,
TABLEAUX.
Thomas Caridroit,
Sébastien Konieczny,
Pierre Marquis,
2015,
AAMAS.
Jean-Marie Lagniez,
Valentin Montmirail,
Daniel Le Berre,
2018,
KR.
Jean-Marie Lagniez,
Thomas Caridroit,
Valentin Montmirail,
2017,
AAAI.