![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fernando R. Velázquez-Quesada
Person information
- affiliation: University of Bergen, Norway
- affiliation (former): University of Amsterdam, The Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 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) - 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) - 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) - 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) - 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) - 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) - 2017
- [j9]Fernando R. Velázquez-Quesada
:
Reliability-based preference dynamics: lexicographic upgrade. J. Log. Comput. 27(8): 2341-2381 (2017) - 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) - 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) - 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) - 2010
- [j2]Johan van Benthem, Fernando R. Velázquez-Quesada
:
The dynamics of awareness. Synth. 177(Supplement-1): 5-27 (2010) - 2009
- [j1]Fernando R. Velázquez-Quesada
:
Inference and update. Synth. 169(2): 283-300 (2009)
Conference and Workshop Papers
- 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 - 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 - 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 - 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 - 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
- [c26]Chenwei Shi
, Sonja Smets
, Fernando R. Velázquez-Quesada
:
Beliefs Based on Evidence and Argumentation. WoLLIC 2018: 289-306 - 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
- [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 - 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
- [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 - 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
- [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 - 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
Editorship
- 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]
Informal and Other Publications
- 2023
- [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
- [i5]Fernando R. Velázquez-Quesada:
Communication between agents in dynamic epistemic logic. CoRR abs/2210.04656 (2022) - 2021
- [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
- [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) - 2015
- [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) - 2013
- [i1]Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang:
Knowledge, Awareness, and Bisimulation. CoRR abs/1310.6410 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint