Valentin Cassano

According to our database, Valentin Cassano authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Data-Aware Hybrid Tableaux.

Carlos Areces, Valentin Cassano, Raul Fervari

CoRR, 2024

2023

Algebraic tools for default modal systems.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

J. Log. Comput., August, 2023

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.

Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Data Graphs with Incomplete Information (and a Way to Complete Them).

Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Deontic Logic of Knowingly Complying.

Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Non-monotonic Reasoning via Dynamic Consequence.

Carlos Areces, Valentin Cassano, Raul Fervari

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Deontic Action Logics via Algebra.

Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Default Modal Systems as Algebraic Updates.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

An Algebraic Approach for Action Based Default Reasoning.

Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Interpolation and Beth Definability in Default Logics.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

A Tableaux Calculus for Default Intuitionistic Logic.

Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Reasoning About Prescription and Description Using Prioritized Default Rules.

Valentin Cassano, Carlos Areces, Pablo F. Castro

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2016

A model management approach for assurance case reuse due to system evolution.

Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case.

Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova

Proceedings of the Formal Methods and Software Engineering, 2016

2015

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.

Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

The Definition and Assessment of a Safety Argument.

Valentin Cassano, T. S. E. Maibaum

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Actions and Events in Concurrent Systems Design.

Valentin Cassano, T. S. E. Maibaum

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013