Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 49
Number of items: 49
  • van Ditmarsch, H., French, T., Velázquez-Quesada, F. R., & Wáng, Y. N. (2018). Implicit, explicit and speculative knowledge. Artificial Intelligence, 256, 35-67. https://doi.org/10.1016/j.artint.2017.11.004
  • Smets, S., & Velázquez-Quesada, F. R. (2018). The creation and change of social networks: a logical study based on group size. In A. Madeira, & M. Benevides (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp. 171-184). (Lecture Notes in Computer Science; Vol. 10669). Springer. https://doi.org/10.1007/978-3-319-73579-5_11
  • Fervari, R., & Velázquez-Quesada, F. R. (2018). Dynamic Epistemic Logics of Introspection. In A. Madeira, & M. Benevides (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp. 82-97). (Lecture Notes in Computer Science; Vol. 10669). Springer. https://doi.org/10.1007/978-3-319-73579-5_6
  • Velázquez-Quesada, F. R. (2018). Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. Journal of Logic and Computation, 28(8), 1805-1832. https://doi.org/10.1093/logcom/exv023
  • Open Access
    Pardo, P., Sarrión-Morillo, E., Soler-Toscano, F., & Velázquez-Quesada, F. R. (2018). Tuning the program transformers from LCC to PDL. IfCoLoG Journal of Logics and their Applications, 5(1), 71-96. http://collegepublications.co.uk/ifcolog/?00021
  • Open Access
    Fernández-Fernández, C., & Velázquez-Quesada, F. R. (2018). Reconsidering the 'Ingredients' of Explicit Knowledge. In P. Arazim, & T. Lávička (Eds.), The Logica Yearbook 2017 (pp. 47-60). College Publications.
  • Open Access
    Shi, C., Smets, S., & Velázquez-Quesada, F. R. (2018). Beliefs supported by binary arguments. Journal of Applied Non-Classical Logics, 28(2-3), 165-188. https://doi.org/10.1080/11663081.2018.1457254
  • Nepomuceno-Fernández, A., Soler-Toscano, F., & Velázquez-Quesada, F. R. (2017). Abductive Reasoning in Dynamic Epistemic Logic. In L. Magnani, & T. Bertolotti (Eds.), Springer Handbook of Model-Based Science (pp. 269-293). (Springer Handbooks). Springer. https://doi.org/978-3-319-30526-4_13
  • Velázquez-Quesada, F. R. (2017). Reliability-based preference dynamics: lexicographic upgrade. Journal of Logic and Computation, 27(8), 2341-2381. https://doi.org/10.1093/logcom/exx019
  • Velázquez-Quesada, F. R. (2017). On subtler belief revision policies. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 314-329). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_22
Page 3 of 5