List of Papers


[ DBLP | Google Scholar | ResearchGate ].

2017.

  • Abriola, S., Descotte, M. E., Fervari, R., and Figueira, S..
    Axiomatizations for downward XPath on Data Trees.
    Journal of Computer and System Sciences,
    Volume 89, Pages 209-245, 2017.
    PDF BibTex
  • Fervari, R., Herzig, A., Li, Y., and Wang Y..
    Strategically Knowing How.
    In Proceedings of the 26th International Joint
    Conference on Artificial Intelligence IJCAI-17,
    Melbourne, Australia, August 2017.
    PDF BibTex
  • Areces, C., Fervari, R., and Seiler, N..
    Tableaux for Hybrid XPath with Data.
    In Proceedings of the 18th EPIA Conference on
    Artificial Intelligence (EPIA 2017),
    Porto, Portugal, September 2017.
    PDF BibTex
  • Fervari, R., and Velázquez-Quesada, F. R..
    Dynamic Epistemic Logics of Introspection.
    In Proceedings of Workshop DaLí - Dynamic Logic:
    new trends and applications,
    Brasília, Brazil, September, 2017.
    PDF BibTex
  • Areces, C., Fervari, R., Hoffmann, G., and Martel, M..
    Undecidability of Relation-Changing Modal Logics.
    In Proceedings of Workshop DaLí - Dynamic Logic:
    new trends and applications,
    Brasília, Brazil, September, 2017.
    PDF BibTex
  • Fervari, R., Velázquez-Quesada, F. R., and Wang Y..
    Bisimulations for Knowing How Logics.
    In Proceedings of the 5th International Workshop
    on Strategic Reasoning (SR 2017),
    Liverpool, UK, July, 2017.
    PDF BibTex

2016.

  • Areces, C. and Fervari, R..
    Hilbert-style Axiomatization for Hybrid XPath with Data.
    In Proceedings of the 15th European Conference on Logics
    in Artificial Intelligence (JELIA 2016),
    Larnaca, Cyprus, November 2016.
    PDF BibTex
  • Areces, C., Fervari, R., Hoffmann, G., and Martel, M..
    Relation-changing Logics as Fragments of Hybrid Logics.
    In Proceedings of the 7th International Symposium on Games,
    Automata, Logics, and Formal Verification (GandALF 2016),
    Catania, Italy, September 2016.
    PDF BibTex
  • Abriola, S., Descotte, M. E., Fervari, R., and Figueira, S..
    Axiomatizations for downward XPath on Data Trees.
    CoRR, abs/1605.04271, 2016. PDF BibTex

2015.

  • Areces, C., van Ditmarsch, H., Fervari, R., and Schwarzentruber, F..
    The Modal Logic of Copy and Remove.
    To appear in Information and Computation, special issue of WOLLIC 2014. PDF BibTex
  • Areces, C., Fervari, R., and Hoffmann, G..
    Relation-Changing Modal Operators.
    Logic Journal of the IGPL 23(4): 601-627 (2015). PDF BibTex

2014.

  • Areces, C., van Ditmarsch, H., Fervari, R., and Schwarzentruber, F..
    Logics with Copy and Remove.
    In Proceedings of the 21st International Workshop on Logic, Language,
    Information and Computation (WoLLIC 2014),
    Valparaíso, Chile, September 2014 .
    PDF BibTex
  • Fervari R..
    Relation-Changing Modal Logics.
    PhD Thesis, Universidad Nacional de Córdoba,
    Facultad de Matemática, Astronomía y Física.
    Córdoba, Argentina, March 2014.
    PDF BibTex
  • Areces, C., Fervari, R., and Hoffmann, G..
    Swap Logic.
    Logic Journal of the IGPL 22(2): 309-332 (2014). PDF BibTex
  • Fervari, R..
    The Impact of Including Model Update Operators in Modal Logics.
    In Pristine Perspectives on Logic, Language, and Computation. ESSLLI
    2012 and ESSLLI 2013 Student Sessions. Selected papers.
    PDF BibTex

2013.

  • Areces, C., Fervari, R., and Hoffmann, G..
    Tableaux for Relation-Changing Modal Logics.
    In Proceedings of Frontiers of Combining Systems (FroCoS 2013),
    Nancy, France, September 2013 .
    PDF BibTex

2012.

  • Areces, C., Fervari, R., and Hoffmann, G..
    Moving Arrows and Four Model Checking Results.
    In Proceedings of the 19th International Workshop on Logic, Language,
    Information and Computation (WoLLIC 2012),
    Buenos Aires, Argentina, September 2012 .
    PDF BibTex
  • Fervari, R..
    The Expressive Power of Swap Logic.
    In Proceedings of ESSLLI StuS 2012,
    Opole, Poland, August 2012.
    PDF Poster

2010.

  • Ariño R., Degiovanni R., Fervari R., Ponzio P., Aguirre N..
    Mejorando la Aplicación de Abstracción por Predicados a Especificaciones DynAlloy.
    1st Workshop on Theoretical Aspects of Computer Science, 16th CACIC 2010.
    Morón, Buenos Aires, Argentina. October 2010.
    PDF
  • Ariño R., Degiovanni R., Fervari R..
    Optimización de Técnicas de Abstracción para Especificaciones DynAlloy.
    Master's Thesis, Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas
    Físico-Químicas y Naturales. Departamento de Computación.
    Río Cuarto, Argentina, March 2010.
    PDF

2009.

  • Ariño R., Degiovanni R., Fervari R., Ponzio P., Aguirre N..
    Towards Scaling Up DynAlloy Anlysis using Predicate Abstraction.
    6th Workshop on Software Engineering, 15th CACIC 2009.
    San Salvador de Jujuy, Argentina. October 2009.
    PDF



© 2011 Maintained by Raul Fervari.