Valentin Cassano

26 papers A 3B 8C 2Journal 6Unranked 7
YearRankTypeTitle / 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
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 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
2024 J jnl
Data-Aware Hybrid Tableaux.
CoRR
Carlos Areces, Valentin Cassano, Raul Fervari
2024 B conf
Pivotal Rules Consequence in Action Model Logic.
SEFM
Valentin Cassano, Sabine Frittella
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
2022 C conf
Non-monotonic Reasoning via Dynamic Consequence.
WoLLIC
Carlos Areces, Valentin Cassano, Raul Fervari
2021 — conf
Deontic Action Logics via Algebra.
DEON
Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
2020 — conf
Default Modal Systems as Algebraic Updates.
DaLí
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
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
Interpolation and Beth Definability in Default Logics.
JELIA
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
2018 B conf
Reasoning About Prescription and Description Using Prioritized Default Rules.
LPAR
Valentin Cassano, Carlos Areces, Pablo F. Castro
2016 C conf
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case.
ICFEM
Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova
2016 A conf
A model management approach for assurance case reuse due to system evolution.
MoDELS
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
2015 B conf
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.
TABLEAUX
Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum
2015 — conf
Is Current Incremental Safety Assurance Sound?
SAFECOMP Workshops
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2014 — conf
The Definition and Assessment of a Safety Argument.
ISSRE Workshops
Valentin Cassano, T. S. E. Maibaum
2013 — conf
Actions and Events in Concurrent Systems Design.
LAFM
Valentin Cassano, T. S. E. Maibaum