The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Raul Fervari" ( http://dblp.L3S.de/Authors/Raul_Fervari )

  Author page on DBLP  Author page in RDF  Community of Raul Fervari in ASPL-2

Publication years (Num. hits)
2012-2017 (16) 2018-2019 (6)
Publication types (Num. hits)
article(7) inproceedings(15)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces An Algebraic Approach for Action Based Default Reasoning. Search on Bibsonomy TARK The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro A Tableaux Calculus for Default Intuitionistic Logic. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Raul Fervari, Alessio Mansutti Axiomatising Logics with Separating Conjunction and Modalities. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro Interpolation and Beth Definability in Default Logics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel Satisfiability for relation-changing logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stéphane Demri, Raul Fervari On the Complexity of Modal Separation Logics. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
1Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira Axiomatizations for downward XPath on data trees. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang 0001 Strategically knowing how. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber The modal logic of copy and remove. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raul Fervari, Fernando R. Velázquez-Quesada Dynamic Epistemic Logics of Introspection. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel Undecidability of Relation-Changing Modal Logics. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Nahuel Seiler Tableaux for Hybrid XPath with Data. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang 0001 Strategically knowing how. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira Axiomatizations for downward XPath on Data Trees. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel Relation-Changing Logics as Fragments of Hybrid Logics. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari Hilbert-Style Axiomatization for Hybrid XPath with Data. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann Relation-changing modal operators. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann Swap logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber Logics with Copy and Remove. Search on Bibsonomy WoLLIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Raul Fervari The Impact of Including Model Update Operators in Modal Logics. Search on Bibsonomy ESSLLI Student Sessions The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann Tableaux for Relation-Changing Modal Logics. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Raul Fervari, Guillaume Hoffmann Moving Arrows and Four Model Checking Results. Search on Bibsonomy WoLLIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license