Fernando R. Velázquez-Quesada

68 papers A 3B 6C 1Journal 31Unranked 26

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