Fernando R. Velázquez-Quesada

Orcid: 0000-0003-4457-1414

Affiliations:
  • University of Bergen, Norway
  • University of Amsterdam, The Netherlands (former)


According to our database1, Fernando R. Velázquez-Quesada authored at least 57 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Observing interventions: a logic for thinking about experiments.
J. Log. Comput., August, 2023

An Abstract Look at Awareness Models and Their Dynamics.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Uncertainty-Based Knowing How Logic.
CoRR, 2023

(Arbitrary) Partial Communication.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Bisimulations for Knowing How Logics.
Rev. Symb. Log., 2022

Non-strict Interventionism: The Case Of Right-Nested Counterfactuals.
J. Log. Lang. Inf., 2022

Communication between agents in dynamic epistemic logic.
CoRR, 2022

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

First Steps in Updating Knowing How.
Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021
A Semantic Approach to Non-prioritized Belief Revision.
Log. J. IGPL, 2021

Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.
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.
J. Log. Lang. Inf., 2020

Thinking About Causation: A Causal Language with Epistemic Operators.
Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019
A logical study of group-size based social network creation.
J. Log. Algebraic Methods Program., 2019

Introspection as an action in relational models.
J. Log. Algebraic Methods Program., 2019

A Logical Analysis of the Interplay Between Social Influence and Friendship Selection.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks.
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

A Logical and Empirical Study of Right-Nested Counterfactuals.
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes.
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models.
J. Log. Comput., 2018

Beliefs supported by binary arguments.
J. Appl. Non Class. Logics, 2018

Tuning the Program Transformers from CC to PDL.
FLAP, 2018

Implicit, explicit and speculative knowledge.
Artif. Intell., 2018

Beliefs Based on Evidence and Argumentation.
Proceedings of the Logic, Language, Information, and Computation, 2018

2017
Reliability-based preference dynamics: lexicographic upgrade.
J. Log. Comput., 2017

Argument-based Belief in Topological Structures.
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.
Proceedings of the Dynamic Logic. New Trends and Applications, 2017

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

On Subtler Belief Revision Policies.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

How to Make Friends: A Logical Approach to Social Group Creation.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2015
Syntactic awareness in logical dynamics.
Synth., 2015

Forgetting complex propositions.
Log. J. IGPL, 2015

A Note on Reliability-Based Preference Dynamics.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Tableaux for Non-normal Public Announcement Logic.
Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

Public and Secret Forgetting of Propositional Formulas.
Proceedings of the Advances in Artificial Intelligence, 2015

Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.
J. Log. Lang. Inf., 2014

Generation and Selection of Abductive Explanations for Non-Omniscient Agents.
J. Log. Lang. Inf., 2014

Efficient Program Transformers for Translating LCC to PDL.
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.
J. Appl. Log., 2013

An epistemic and dynamic approach to abductive reasoning: selecting the best explanation.
Log. J. IGPL, 2013

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

Expressivity Hierarchy of Languages for Epistemic Awareness Models.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Explicit and Implicit Knowledge in Neighbourhood Models.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Public Announcements for Non-omniscient Agents.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012
Action models for knowledge and awareness.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Logic in Action - An Open Logic Courseware Project.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

A Qualitative Approach to Uncertainty.
Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

2010
The dynamics of awareness.
Synth., 2010

Abduction for (Non-Omniscient) Agents.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

2009
Inference and update.
Synth., 2009

Games for Learning: A Sabotage Approach.
Proceedings of the Second Multi-Agent Logics, 2009

Dynamic Logics for Explicit and Implicit Information.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

<i>Twelve Angry Men</i>: A Study on the Fine-Grain of Announcements.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Learning and Teaching as a Game: A Sabotage Approach.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2007
Expressing Belief Flow in Assertion Networks.
Proceedings of the Logic, 2007

2006
Some Semantics for a Logical Language for the Game of Dominoes.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006


  Loading...