Raul Fervari - RankMe

62 papers A* 5A 2B 12C 4Misc 1Journal 26Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic. TACAS (1) Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari
2026	B	`ed.`	Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers SEFM José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
2025	J	`jnl`	Data-Aware Hybrid Tableaux. Log. Methods Comput. Sci. Carlos Areces, Valentin Cassano, Raul Fervari
2025	J	`jnl`	Deontic Action Logics: A Modular Algebraic Perspective. CoRR Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari
2025	C	`conf`	Graded Relation Updates in Modal Logic. WoLLIC Raul Fervari, Daniel Figueiredo, Manuel A. Martins
2025	A*	`conf`	How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. KR Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari
2025	—	`conf`	Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS. RP Stéphane Demri, Laurent Doyen, Raul Fervari
2025	A*	`conf`	On the Effects of Adding Assignments in Linear-Time Temporal Logics Modulo Theories. KR Stéphane Demri, Raul Fervari
2025	J	`jnl`	Sequent Calculi for Data-Aware Modal Logics. CoRR Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2025	—	`conf`	Sequent Calculi for Data-Aware Modal Logics. LSFA Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2025	J	`jnl`	Uncertainty-based knowing how logic. J. Log. Comput. Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2024	B	`conf`	Arbitrary Radical Upgrades. SEFM Raul Fervari, Benjamin Icard
2024	J	`jnl`	Beyond the Spell: A Dynamic Logic Analysis of Misdirection. CoRR Benjamin Icard, Raul Fervari
2024	J	`jnl`	Data-Aware Hybrid Tableaux. CoRR Carlos Areces, Valentin Cassano, Raul Fervari
2023	A	`conf`	A Deontic Logic of Knowingly Complying. AAMAS Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
2023	J	`jnl`	Algebraic tools for default modal systems. J. Log. Comput. Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2023	B	`conf`	Data Graphs with Incomplete Information (and a Way to Complete Them). JELIA Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
2023	B	`conf`	DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann
2023	B	`conf`	How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. JELIA Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
2023	J	`jnl`	How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. CoRR Carlos Areces, Valentin Cassano, Raul Fervari, Pablo F. Castro, Andrés R. Saravia
2023	A*	`conf`	Model-Checking for Ability-Based Logics with Constrained Plans. AAAI Stéphane Demri, Raul Fervari
2023	J	`jnl`	On Composing Finite Forests with Modal Logics. ACM Trans. Comput. Log. Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2023	J	`jnl`	Uncertainty-Based Knowing How Logic. CoRR Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2022	J	`jnl`	Bisimulations for Knowing How Logics. Rev. Symb. Log. Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang
2022	—	`conf`	First Steps in Updating Knowing How. DaLí Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2022	B	`conf`	Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. FoSSaCS Raul Fervari, Alessio Mansutti
2022	C	`conf`	Non-monotonic Reasoning via Dynamic Consequence. WoLLIC Carlos Areces, Valentin Cassano, Raul Fervari
2021	J	`jnl`	Axiomatizing Hybrid XPath with Data. Log. Methods Comput. Sci. Carlos Areces, Raul Fervari
2021	J	`jnl`	Copy and remove as dynamic operators. J. Appl. Non Class. Logics Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
2021	—	`conf`	Deontic Action Logics via Algebra. DEON Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
2021	J	`jnl`	Internal proof calculi for modal logics with separating conjunction. J. Log. Comput. Stéphane Demri, Raul Fervari, Alessio Mansutti
2021	B	`conf`	Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. TARK Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada
2021	J	`jnl`	Verification of dynamic bisimulation theorems in Coq. J. Log. Algebraic Methods Program. Raul Fervari, Francisco Trucco, Beta Ziliani
2020	J	`jnl`	Axiomatizing Hybrid XPath with Data. CoRR Carlos Areces, Raul Fervari
2020	—	`conf`	Default Modal Systems as Algebraic Updates. DaLí Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2020	J	`jnl`	Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). CoRR Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2020	A*	`conf`	Modal Logics with Composition on Finite Forests: Expressivity and Complexity. LICS Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2019	A	`conf`	A Tableaux Calculus for Default Intuitionistic Logic. CADE Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
2019	B	`conf`	An Algebraic Approach for Action Based Default Reasoning. TARK Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
2019	B	`conf`	Axiomatising Logics with Separating Conjunction and Modalities. JELIA Stéphane Demri, Raul Fervari, Alessio Mansutti
2019	B	`conf`	Interpolation and Beth Definability in Default Logics. JELIA Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2019	J	`jnl`	Introspection as an action in relational models. J. Log. Algebraic Methods Program. Raul Fervari, Fernando R. Velázquez-Quesada
2019	—	`conf`	Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. DaLí Raul Fervari, Francisco Trucco, Beta Ziliani
2019	J	`jnl`	The power of modal separation logics. J. Log. Comput. Stéphane Demri, Raul Fervari
2018	B	`conf`	On the Complexity of Modal Separation Logics. Advances in Modal Logic Stéphane Demri, Raul Fervari
2018	J	`jnl`	Satisfiability for relation-changing logics. J. Log. Comput. Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2017	J	`jnl`	Axiomatizations for downward XPath on data trees. J. Comput. Syst. Sci. Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
2017	—	`conf`	Dynamic Epistemic Logics of Introspection. DALI@TABLEAUX Raul Fervari, Fernando R. Velázquez-Quesada
2017	A*	`conf`	Strategically knowing how. IJCAI Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
2017	J	`jnl`	Strategically knowing how. CoRR Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
2017	Misc	`conf`	Tableaux for Hybrid XPath with Data. EPIA Carlos Areces, Raul Fervari, Nahuel Seiler
2017	J	`jnl`	The modal logic of copy and remove. Inf. Comput. Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2017	—	`conf`	Undecidability of Relation-Changing Modal Logics. DALI@TABLEAUX Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2016	J	`jnl`	Axiomatizations for downward XPath on Data Trees. CoRR Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
2016	B	`conf`	Hilbert-Style Axiomatization for Hybrid XPath with Data. JELIA Carlos Areces, Raul Fervari
2016	—	`conf`	Relation-Changing Logics as Fragments of Hybrid Logics. GandALF Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel
2015	J	`jnl`	Relation-changing modal operators. Log. J. IGPL Carlos Areces, Raul Fervari, Guillaume Hoffmann
2014	C	`conf`	Logics with Copy and Remove. WoLLIC Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2014	J	`jnl`	Swap logic. Log. J. IGPL Carlos Areces, Raul Fervari, Guillaume Hoffmann
2013	—	`conf`	Tableaux for Relation-Changing Modal Logics. FroCos Carlos Areces, Raul Fervari, Guillaume Hoffmann
2013	—	`conf`	The Impact of Including Model Update Operators in Modal Logics. ESSLLI Student Sessions Raul Fervari
2012	C	`conf`	Moving Arrows and Four Model Checking Results. WoLLIC Carlos Areces, Raul Fervari, Guillaume Hoffmann