Valentin Cassano

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 18

Top Topics

Satisfiability Problem

Top Venues

SAFECOMP Workshops

Publications

Carlos Areces, Valentin Cassano, Raul Fervari
Data-Aware Hybrid Tableaux. CoRR (2024)
Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. TABLEAUX (2023)
Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
Data Graphs with Incomplete Information (and a Way to Complete Them). JELIA (2023)
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
Algebraic tools for default modal systems. J. Log. Comput. 33 (6) (2023)
Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
A Deontic Logic of Knowingly Complying. AAMAS (2023)
Carlos Areces, Valentin Cassano, Raul Fervari, Pablo F. Castro, Andrés R. Saravia
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. CoRR (2023)
Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. JELIA (2023)
Carlos Areces, Valentin Cassano, Raul Fervari
Non-monotonic Reasoning via Dynamic Consequence. WoLLIC (2022)
Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
Deontic Action Logics via Algebra. DEON (2021)
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
Default Modal Systems as Algebraic Updates. DaLí (2020)
Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
A Tableaux Calculus for Default Intuitionistic Logic. CADE (2019)
Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces
An Algebraic Approach for Action Based Default Reasoning. TARK (2019)
Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro
Interpolation and Beth Definability in Default Logics. JELIA (2019)
Valentin Cassano, Carlos Areces, Pablo F. Castro
Reasoning About Prescription and Description Using Prioritized Default Rules. LPAR (2018)
Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. ICFEM (2016)
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
A model management approach for assurance case reuse due to system evolution. MoDELS (2016)
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops (2015)
Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. TABLEAUX (2015)
Valentin Cassano, T. S. E. Maibaum
The Definition and Assessment of a Safety Argument. ISSRE Workshops (2014)
Valentin Cassano, T. S. E. Maibaum
Actions and Events in Concurrent Systems Design. LAFM (2013)