Fernando R. Velázquez-Quesada

According to our database, Fernando R. Velázquez-Quesada authored at least 58 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Variations on distributed belief.

John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes

CoRR, 2024

2023

Observing interventions: a logic for thinking about experiments.

Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie

J. Log. Comput., August, 2023

An Abstract Look at Awareness Models and Their Dynamics.

Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Uncertainty-Based Knowing How Logic.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

CoRR, 2023

(Arbitrary) Partial Communication.

Rustam Galimullin, Fernando R. Velázquez-Quesada

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Bisimulations for Knowing How Logics.

Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang

Rev. Symb. Log., 2022

Non-strict Interventionism: The Case Of Right-Nested Counterfactuals.

Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie

J. Log. Lang. Inf., 2022

Communication between agents in dynamic epistemic logic.

Fernando R. Velázquez-Quesada

CoRR, 2022

Cautious Distributed Belief.

John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

First Steps in Updating Knowing How.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

A Semantic Approach to Non-prioritized Belief Revision.

Elise Perrotin, Fernando R. Velázquez-Quesada

Log. J. IGPL, 2021

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.

Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

2020

A Closeness- and Priority-Based Logical Study of Social Network Creation.

Sonja Smets, Fernando R. Velázquez-Quesada

J. Log. Lang. Inf., 2020

Thinking About Causation: A Causal Language with Epistemic Operators.

Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

A logical study of group-size based social network creation.

Sonja Smets, Fernando R. Velázquez-Quesada

J. Log. Algebraic Methods Program., 2019

Introspection as an action in relational models.

Raul Fervari, Fernando R. Velázquez-Quesada

J. Log. Algebraic Methods Program., 2019

A Logical Analysis of the Interplay Between Social Influence and Friendship Selection.

Sonja Smets, Fernando R. Velázquez-Quesada

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks.

Anthia Solaki, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

A Logical and Empirical Study of Right-Nested Counterfactuals.

Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes.

Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models.

Fernando R. Velázquez-Quesada

J. Log. Comput., 2018

Beliefs supported by binary arguments.

Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada

J. Appl. Non Class. Logics, 2018

Tuning the Program Transformers from CC to PDL.

Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

FLAP, 2018

Implicit, explicit and speculative knowledge.

Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng

Artif. Intell., 2018

Beliefs Based on Evidence and Argumentation.

Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

Reliability-based preference dynamics: lexicographic upgrade.

Fernando R. Velázquez-Quesada

J. Log. Comput., 2017

Argument-based Belief in Topological Structures.

Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

The Creation and Change of Social Networks: A Logical Study Based on Group Size.

Sonja Smets, Fernando R. Velázquez-Quesada

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Dynamic Epistemic Logics of Introspection.

Raul Fervari, Fernando R. Velázquez-Quesada

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

On Subtler Belief Revision Policies.

Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

How to Make Friends: A Logical Approach to Social Group Creation.

Sonja Smets, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2015

Syntactic awareness in logical dynamics.

Davide Grossi, Fernando R. Velázquez-Quesada

Synth., 2015

Forgetting complex propositions.

David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Log. J. IGPL, 2015

A Note on Reliability-Based Preference Dynamics.

Sujata Ghosh, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Tableaux for Non-normal Public Announcement Logic.

Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

Public and Secret Forgetting of Propositional Formulas.

Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Proceedings of the Advances in Artificial Intelligence, 2015

Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents.

Sujata Ghosh, Fernando R. Velázquez-Quesada

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Dynamic Epistemic Logic for Implicit and Explicit Beliefs.

Fernando R. Velázquez-Quesada

J. Log. Lang. Inf., 2014

Generation and Selection of Abductive Explanations for Non-Omniscient Agents.

Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

J. Log. Lang. Inf., 2014

Efficient Program Transformers for Translating LCC to PDL.

Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution.

Fernando R. Velázquez-Quesada, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández

J. Appl. Log., 2013

An epistemic and dynamic approach to abductive reasoning: selecting the best explanation.

Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Log. J. IGPL, 2013

Knowledge, awareness, and bisimulation.

Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Expressivity Hierarchy of Languages for Epistemic Awareness Models.

Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Explicit and Implicit Knowledge in Neighbourhood Models.

Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Public Announcements for Non-omniscient Agents.

Fernando R. Velázquez-Quesada

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

Action models for knowledge and awareness.

Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Logic in Action - An Open Logic Courseware Project.

Jan Jaspars, Fernando R. Velázquez-Quesada

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

A Qualitative Approach to Uncertainty.

Sujata Ghosh, Fernando R. Velázquez-Quesada

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

2010

The dynamics of awareness.

Johan van Benthem, Fernando R. Velázquez-Quesada

Synth., 2010

Abduction for (Non-Omniscient) Agents.

Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

2009

Inference and update.

Fernando R. Velázquez-Quesada

Synth., 2009

Games for Learning: A Sabotage Approach.

Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada

Proceedings of the Second Multi-Agent Logics, 2009

Dynamic Logics for Explicit and Implicit Information.

Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

<i>Twelve Angry Men</i>: A Study on the Fine-Grain of Announcements.

Davide Grossi, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Learning and Teaching as a Game: A Sabotage Approach.

Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2007

Expressing Belief Flow in Assertion Networks.

Sujata Ghosh, Fernando R. Velázquez-Quesada

Proceedings of the Logic, 2007

2006

Some Semantics for a Logical Language for the Game of Dominoes.

Fernando R. Velázquez-Quesada, Francisco Hernández Quiroz

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006