Fernando R. Velázquez-Quesada

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 40

Top Topics

Plausible Reasoning

Social Influence

Dynamic Epistemic Logic

Top Venues

J. Log. Lang. Inf.

Publications

Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel
An Abstract Look at Awareness Models and Their Dynamics. TARK (2023)
Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie
Observing interventions: a logic for thinking about experiments. J. Log. Comput. 33 (6) (2023)
Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
Uncertainty-Based Knowing How Logic. CoRR (2023)
Rustam Galimullin, Fernando R. Velázquez-Quesada
(Arbitrary) Partial Communication. AAMAS (2023)
Rustam Galimullin, Fernando R. Velázquez-Quesada
(Arbitrary) Partial Communication. CoRR (2023)
Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang
Bisimulations for Knowing How Logics. Rev. Symb. Log. 15 (2) (2022)
Fernando R. Velázquez-Quesada
Communication between agents in dynamic epistemic logic. CoRR (2022)
John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
Cautious Distributed Belief. DaLí (2022)
Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
Non-strict Interventionism: The Case Of Right-Nested Counterfactuals. J. Log. Lang. Inf. 31 (2) (2022)
Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
First Steps in Updating Knowing How. DaLí (2022)
Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. TARK (2021)
Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie
Observing Interventions: A logic for thinking about experiments. CoRR (2021)
Elise Perrotin, Fernando R. Velázquez-Quesada
A Semantic Approach to Non-prioritized Belief Revision. Log. J. IGPL 29 (4) (2021)
Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
Thinking About Causation: A Causal Language with Epistemic Operators. CoRR (2020)
Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
Thinking About Causation: A Causal Language with Epistemic Operators. DaLí (2020)
Sonja Smets, Fernando R. Velázquez-Quesada
A Closeness- and Priority-Based Logical Study of Social Network Creation. J. Log. Lang. Inf. 29 (1) (2020)
Sonja Smets, Fernando R. Velázquez-Quesada
A logical study of group-size based social network creation. J. Log. Algebraic Methods Program. 106 (2019)
Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie
A Logical and Empirical Study of Right-Nested Counterfactuals. LORI (2019)
Raul Fervari, Fernando R. Velázquez-Quesada
Introspection as an action in relational models. J. Log. Algebraic Methods Program. 108 (2019)
Sonja Smets, Fernando R. Velázquez-Quesada
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. DaLí (2019)
Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. LORI (2019)
Anthia Solaki, Fernando R. Velázquez-Quesada
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. LORI (2019)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Implicit, explicit and speculative knowledge. Artif. Intell. 256 (2018)
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
Beliefs Based on Evidence and Argumentation. WoLLIC (2018)
Fernando R. Velázquez-Quesada
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. J. Log. Comput. 28 (8) (2018)
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
Beliefs supported by binary arguments. J. Appl. Non Class. Logics 28 (2-3) (2018)
Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Tuning the Program Transformers from CC to PDL. FLAP 5 (1) (2018)
Fernando R. Velázquez-Quesada
Reliability-based preference dynamics: lexicographic upgrade. J. Log. Comput. 27 (8) (2017)
Sonja Smets, Fernando R. Velázquez-Quesada
How to Make Friends: A Logical Approach to Social Group Creation. LORI (2017)
Sonja Smets, Fernando R. Velázquez-Quesada
The Creation and Change of Social Networks: A Logical Study Based on Group Size. DALI@TABLEAUX (2017)
Fernando R. Velázquez-Quesada
On Subtler Belief Revision Policies. LORI (2017)
Raul Fervari, Fernando R. Velázquez-Quesada
Dynamic Epistemic Logics of Introspection. DALI@TABLEAUX (2017)
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
Argument-based Belief in Topological Structures. TARK (2017)
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. CoRR (2015)
Sujata Ghosh, Fernando R. Velázquez-Quesada
A Note on Reliability-Based Preference Dynamics. LORI (2015)
Sujata Ghosh, Fernando R. Velázquez-Quesada
Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents. AAMAS (2015)
Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Public and Secret Forgetting of Propositional Formulas. CAEPIA (2015)
Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada
Tableaux for Non-normal Public Announcement Logic. ICLA (2015)
Davide Grossi, Fernando R. Velázquez-Quesada
Syntactic awareness in logical dynamics. Synth. 192 (12) (2015)
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. Log. J. IGPL 23 (6) (2015)
Fernando R. Velázquez-Quesada
Dynamic Epistemic Logic for Implicit and Explicit Beliefs. J. Log. Lang. Inf. 23 (2) (2014)
Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Efficient Program Transformers for Translating LCC to PDL. JELIA (2014)
Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Generation and Selection of Abductive Explanations for Non-Omniscient Agents. J. Log. Lang. Inf. 23 (2) (2014)
Fernando R. Velázquez-Quesada
Expressivity Hierarchy of Languages for Epistemic Awareness Models. LORI (2013)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Knowledge, awareness, and bisimulation. TARK (2013)
Fernando R. Velázquez-Quesada
Public Announcements for Non-omniscient Agents. ICLA (2013)
Fernando R. Velázquez-Quesada, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. J. Appl. Log. 11 (4) (2013)
Fernando R. Velázquez-Quesada
Explicit and Implicit Knowledge in Neighbourhood Models. LORI (2013)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang
Knowledge, Awareness, and Bisimulation. CoRR (2013)
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. Log. J. IGPL 21 (6) (2013)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada
Action models for knowledge and awareness. AAMAS (2012)
Jan Jaspars, Fernando R. Velázquez-Quesada
Logic in Action - An Open Logic Courseware Project. TICTTL (2011)
Sujata Ghosh, Fernando R. Velázquez-Quesada
A Qualitative Approach to Uncertainty. ICLA (2011)
Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Abduction for (Non-Omniscient) Agents. MALLOW (2010)
Johan van Benthem, Fernando R. Velázquez-Quesada
The dynamics of awareness. Synth. 177 (Supplement-1) (2010)
Fernando R. Velázquez-Quesada
Dynamic Epistemic Logic for Implicit and Explicit Beliefs. MALLOW (2010)
Davide Grossi, Fernando R. Velázquez-Quesada
: A Study on the Fine-Grain of Announcements. LORI (2009)
Fernando R. Velázquez-Quesada
Dynamic Logics for Explicit and Implicit Information. LORI (2009)
Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada
Learning and Teaching as a Game: A Sabotage Approach. LORI (2009)
Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada
Games for Learning: A Sabotage Approach. MALLOW (2009)
Fernando R. Velázquez-Quesada
Inference and update. Synth. 169 (2) (2009)
Sujata Ghosh, Fernando R. Velázquez-Quesada
Expressing Belief Flow in Assertion Networks. TbiLLC (2007)
Fernando R. Velázquez-Quesada, Francisco Hernández Quiroz
Some Semantics for a Logical Language for the Game of Dominoes. Artificial Intelligence and Applications (2006)