F. R. Velázquez-Quesada
发表
Ángel Nepomuceno-Fernández,
Fernando Soler-Toscano,
F. R. Velázquez-Quesada,
2017
.
Sujata Ghosh,
F. R. Velázquez-Quesada,
2009
.
F. R. Velázquez-Quesada,
2008
.
F. R. Velázquez-Quesada,
2014
.
F. R. Velázquez-Quesada,
L. Kurzen,
Nina Gierasimczuk,
2009
.
F. R. Velázquez-Quesada,
A. N. Fernández,
F. S. Toscano,
2014
.
F. R. Velázquez-Quesada,
2007
.
F. R. Velázquez-Quesada,
2014,
Journal of Logic, Language and Information.
S. Smets,
F. R. Velázquez-Quesada,
2020,
Journal of Logic, Language and Information.
F. R. Velázquez-Quesada,
2014,
Axiomathes.
Fernando R. Velázquez-Quesada,
Sujata Ghosh,
Sujata Ghosh,
2015,
AAMAS.
Pere Pardo,
Fernando Soler-Toscano,
Fernando R. Velázquez-Quesada,
2014,
JELIA.
Fernando R. Velázquez-Quesada,
Sujata Ghosh,
Sujata Ghosh,
2011,
ICLA.
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2014,
Journal of Logic, Language and Information.
Francisco Hernández Quiroz,
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2006,
Artificial Intelligence and Applications.
Fernando R. Velázquez-Quesada,
Sujata Ghosh,
Sujata Ghosh,
2015,
LORI.
Ángel Nepomuceno-Fernández,
Fernando Soler-Toscano,
Fernando R. Velázquez-Quesada,
2013,
J. Appl. Log..
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2009,
Synthese.
Fernando R. Velázquez-Quesada,
Sonja Smets,
S. Smets,
2019,
J. Log. Algebraic Methods Program..
Fernando R. Velázquez-Quesada,
Sonja Smets,
S. Smets,
2017,
DALI@TABLEAUX.
Fernando R. Velázquez-Quesada,
Sonja Smets,
S. Smets,
2017,
LORI.
Fernando R. Velázquez-Quesada,
Sonja Smets,
S. Smets,
2020,
Journal of Logic, Language and Information.
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2017,
J. Log. Comput..
Minghui Ma,
Katsuhiko Sano,
François Schwarzentruber,
2015,
ICLA.
Fernando R. Velázquez-Quesada,
Elise Perrotin,
F. R. Velázquez-Quesada,
2020,
Log. J. IGPL.
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2017,
LORI.
Ángel Nepomuceno-Fernández,
Fernando Soler-Toscano,
David Fernández-Duque,
2015,
Log. J. IGPL.
Fernando Soler-Toscano,
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2014,
J. Log. Lang. Inf..
Fernando R. Velázquez-Quesada,
Lena Kurzen,
F. R. Velázquez-Quesada,
2009
.
Fernando R. Velázquez-Quesada,
Sonja Smets,
Chenwei Shi,
2021,
Erkenntnis.
Fernando R. Velázquez-Quesada,
Sonja Smets,
Chenwei Shi,
2018,
J. Appl. Non Class. Logics.
Fernando R. Velázquez-Quesada,
Sonja Smets,
Chenwei Shi,
2017,
TARK.
Tim French,
Hans van Ditmarsch,
Fernando R. Velázquez-Quesada,
2012,
AAMAS.
Yanjing Wang,
Fernando R. Velázquez-Quesada,
Raul Fervari,
2021,
The Review of Symbolic Logic.
C. Areces,
F. R. Velázquez-Quesada,
Raul Fervari,
2022,
Dynamic Logic. New Trends and Applications.
Fernando R. Velázquez-Quesada,
Anthia Solaki,
F. R. Velázquez-Quesada,
2019,
LORI.
Davide Grossi,
F. R. Velázquez-Quesada,
2015,
Synthese.
Yì N. Wáng,
Tim French,
Hans van Ditmarsch,
2013,
TARK.
Ángel Nepomuceno-Fernández,
Fernando Soler-Toscano,
Fernando R. Velázquez-Quesada,
2013,
Log. J. IGPL.
Fernando R. Velázquez-Quesada,
Raul Fervari,
F. R. Velázquez-Quesada,
2019,
J. Log. Algebraic Methods Program..
Davide Grossi,
Fernando R. Velázquez-Quesada,
Sonja Smets,
2019,
LORI.
Fernando R. Velázquez-Quesada,
Sonja Smets,
S. Smets,
2019,
DaLí.
Fernando R. Velázquez-Quesada,
Raul Fervari,
F. R. Velázquez-Quesada,
2017,
DALI@TABLEAUX.
Ángel Nepomuceno-Fernández,
Fernando Soler-Toscano,
Fernando R. Velázquez-Quesada,
2015,
CAEPIA.
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2015,
J. Log. Comput..
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2013,
LORI.
Fernando R. Velázquez-Quesada,
Sonja Smets,
Chenwei Shi,
2018,
WoLLIC.
Fernando R. Velázquez-Quesada,
Claudia Fernández-Fernández,
F. R. Velázquez-Quesada,
2020
.
Fernando R. Velázquez-Quesada,
Francisco Hernández-Quiroz,
Rodrigo Medina-Vega,
2020
.
Fernando R. Velázquez-Quesada,
F. R. Velázquez-Quesada,
2013,
ICLA.
Jan Jaspars,
Fernando R. Velázquez-Quesada,
J. Jaspars,
1991
.
Katrin Schulz,
Fernando R. Velázquez-Quesada,
Sonja Smets,
2020,
DaLí.
Yì N. Wáng,
Tim French,
Hans van Ditmarsch,
2018,
Artif. Intell..
Johan van Benthem,
Fernando R. Velázquez-Quesada,
J. Benthem,
2010,
Synthese.
Johan van Benthem,
Fernando R. Velázquez-Quesada,
J. Benthem,
2009
.
K. Schulz,
S. Smets,
F. R. Velázquez-Quesada,
2022,
Journal of Logic, Language and Information.
F. R. Velázquez-Quesada,
Carlo Proietti,
Antonio Yuste-Ginel,
2023,
TARK.