default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFernando R. Velázquez-Quesada
Person information
- affiliation: University of Bergen, Norway
- affiliation (former): University of Amsterdam, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[e1]Nina Gierasimczuk
, Fernando R. Velázquez-Quesada:
Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14401, Springer 2024, ISBN 978-3-031-51776-1 [contents]- [i8]John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes:
Variations on distributed belief. CoRR abs/2408.10637 (2024) - 2023
- [j20]Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie:
Observing interventions: a logic for thinking about experiments. J. Log. Comput. 33(6): 1152-1185 (2023) - [c36]Rustam Galimullin, Fernando R. Velázquez-Quesada:
(Arbitrary) Partial Communication. AAMAS 2023: 400-408 - [c35]Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel:
An Abstract Look at Awareness Models and Their Dynamics. TARK 2023: 455-469 - [i7]Rustam Galimullin, Fernando R. Velázquez-Quesada:
(Arbitrary) Partial Communication. CoRR abs/2302.12090 (2023) - [i6]Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
Uncertainty-Based Knowing How Logic. CoRR abs/2304.01022 (2023) - 2022
- [j19]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): 235-260 (2022) - [j18]Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang:
Bisimulations for Knowing How Logics. Rev. Symb. Log. 15(2): 450-486 (2022) - [c34]Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
First Steps in Updating Knowing How. DaLí 2022: 1-16 - [c33]John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes:
Cautious Distributed Belief. DaLí 2022: 106-124 - [i5]Fernando R. Velázquez-Quesada:
Communication between agents in dynamic epistemic logic. CoRR abs/2210.04656 (2022) - 2021
- [j17]Elise Perrotin, Fernando R. Velázquez-Quesada:
A Semantic Approach to Non-prioritized Belief Revision. Log. J. IGPL 29(4): 644-671 (2021) - [c32]Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. TARK 2021: 23-37 - [i4]Fausto Barbero, Katrin Schulz, Fernando R. Velázquez-Quesada, Kaibo Xie:
Observing Interventions: A logic for thinking about experiments. CoRR abs/2111.12978 (2021) - 2020
- [j16]Sonja Smets, Fernando R. Velázquez-Quesada:
A Closeness- and Priority-Based Logical Study of Social Network Creation. J. Log. Lang. Inf. 29(1): 21-51 (2020) - [c31]Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie:
Thinking About Causation: A Causal Language with Epistemic Operators. DaLí 2020: 17-32 - [i3]Fausto Barbero, Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie:
Thinking About Causation: A Causal Language with Epistemic Operators. CoRR abs/2010.16217 (2020)
2010 – 2019
- 2019
- [j15]Raul Fervari, Fernando R. Velázquez-Quesada:
Introspection as an action in relational models. J. Log. Algebraic Methods Program. 108: 1-23 (2019) - [j14]Sonja Smets, Fernando R. Velázquez-Quesada:
A logical study of group-size based social network creation. J. Log. Algebraic Methods Program. 106: 117-140 (2019) - [c30]Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada:
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. LORI 2019: 214-229 - [c29]Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie:
A Logical and Empirical Study of Right-Nested Counterfactuals. LORI 2019: 259-272 - [c28]Anthia Solaki, Fernando R. Velázquez-Quesada:
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. LORI 2019: 297-312 - [c27]Sonja Smets, Fernando R. Velázquez-Quesada:
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. DaLí 2019: 71-87 - 2018
- [j13]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Implicit, explicit and speculative knowledge. Artif. Intell. 256: 35-67 (2018) - [j12]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): 71-96 (2018) - [j11]Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada:
Beliefs supported by binary arguments. J. Appl. Non Class. Logics 28(2-3): 165-188 (2018) - [j10]Fernando R. Velázquez-Quesada:
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. J. Log. Comput. 28(8): 1805-1832 (2018) - [c26]Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada:
Beliefs Based on Evidence and Argumentation. WoLLIC 2018: 289-306 - 2017
- [j9]Fernando R. Velázquez-Quesada:
Reliability-based preference dynamics: lexicographic upgrade. J. Log. Comput. 27(8): 2341-2381 (2017) - [c25]Fernando R. Velázquez-Quesada:
On Subtler Belief Revision Policies. LORI 2017: 314-329 - [c24]Sonja Smets, Fernando R. Velázquez-Quesada:
How to Make Friends: A Logical Approach to Social Group Creation. LORI 2017: 377-390 - [c23]Raul Fervari, Fernando R. Velázquez-Quesada:
Dynamic Epistemic Logics of Introspection. DALI@TABLEAUX 2017: 82-97 - [c22]Sonja Smets, Fernando R. Velázquez-Quesada:
The Creation and Change of Social Networks: A Logical Study Based on Group Size. DALI@TABLEAUX 2017: 171-184 - [c21]Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada:
Argument-based Belief in Topological Structures. TARK 2017: 489-503 - 2015
- [j8]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): 942-965 (2015) - [j7]Davide Grossi, Fernando R. Velázquez-Quesada:
Syntactic awareness in logical dynamics. Synth. 192(12): 4071-4105 (2015) - [c20]Sujata Ghosh, Fernando R. Velázquez-Quesada:
Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents. AAMAS 2015: 1491-1499 - [c19]Á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: 139-149 - [c18]Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada:
Tableaux for Non-normal Public Announcement Logic. ICLA 2015: 132-145 - [c17]Sujata Ghosh, Fernando R. Velázquez-Quesada:
A Note on Reliability-Based Preference Dynamics. LORI 2015: 129-142 - [i2]David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Forgetting complex propositions. CoRR abs/1507.01111 (2015) - 2014
- [j6]Fernando R. Velázquez-Quesada:
Dynamic Epistemic Logic for Implicit and Explicit Beliefs. J. Log. Lang. Inf. 23(2): 107-140 (2014) - [j5]Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Generation and Selection of Abductive Explanations for Non-Omniscient Agents. J. Log. Lang. Inf. 23(2): 141-168 (2014) - [c16]Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Efficient Program Transformers for Translating LCC to PDL. JELIA 2014: 253-266 - 2013
- [j4]Á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): 943-961 (2013) - [j3]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): 505-522 (2013) - [c15]Fernando R. Velázquez-Quesada:
Public Announcements for Non-omniscient Agents. ICLA 2013: 220-232 - [c14]Fernando R. Velázquez-Quesada:
Explicit and Implicit Knowledge in Neighbourhood Models. LORI 2013: 239-252 - [c13]Fernando R. Velázquez-Quesada:
Expressivity Hierarchy of Languages for Epistemic Awareness Models. LORI 2013: 253-266 - [c12]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Knowledge, awareness, and bisimulation. TARK 2013 - [i1]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang:
Knowledge, Awareness, and Bisimulation. CoRR abs/1310.6410 (2013) - 2012
- [c11]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada:
Action models for knowledge and awareness. AAMAS 2012: 1091-1098 - 2011
- [c10]Sujata Ghosh, Fernando R. Velázquez-Quesada:
A Qualitative Approach to Uncertainty. ICLA 2011: 90-104 - [c9]Jan Jaspars, Fernando R. Velázquez-Quesada:
Logic in Action - An Open Logic Courseware Project. TICTTL 2011: 141-153 - 2010
- [j2]Johan van Benthem, Fernando R. Velázquez-Quesada:
The dynamics of awareness. Synth. 177(Supplement-1): 5-27 (2010) - [c8]Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Abduction for (Non-Omniscient) Agents. MALLOW 2010 - [c7]Fernando R. Velázquez-Quesada:
Dynamic Epistemic Logic for Implicit and Explicit Beliefs. MALLOW 2010
2000 – 2009
- 2009
- [j1]Fernando R. Velázquez-Quesada:
Inference and update. Synth. 169(2): 283-300 (2009) - [c6]Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada:
Learning and Teaching as a Game: A Sabotage Approach. LORI 2009: 119-132 - [c5]Davide Grossi, Fernando R. Velázquez-Quesada:
Twelve Angry Men: A Study on the Fine-Grain of Announcements. LORI 2009: 147-160 - [c4]Fernando R. Velázquez-Quesada:
Dynamic Logics for Explicit and Implicit Information. LORI 2009: 325-326 - [c3]Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada:
Games for Learning: A Sabotage Approach. MALLOW 2009 - 2007
- [c2]Sujata Ghosh, Fernando R. Velázquez-Quesada:
Expressing Belief Flow in Assertion Networks. TbiLLC 2007: 124-138 - 2006
- [c1]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: 293-298
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-26 01:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
