Follow
Valentin Cassano
Valentin Cassano
Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
Verified email at dc.exa.unrc.edu.ar
Title
Cited by
Cited by
Year
A model management approach for assurance case reuse due to system evolution
S Kokaly, R Salay, V Cassano, T Maibaum, M Chechik
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
342016
The definition and assessment of a safety argument
V Cassano, TSE Maibaum
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
122014
Interpolation and beth definability in default logics
V Cassano, R Fervari, C Areces, PF Castro
European Conference on Logics in Artificial Intelligence, 675-691, 2019
72019
A propositional tableaux based proof calculus for reasoning with default rules
V Cassano, CGL Pombo, TSE Maibaum
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
52015
Towards making safety case arguments explicit, precise, and well founded
V Cassano, TSE Maibaum, S Grigorova
Implicit and Explicit Semantics Integration in Proof-Based Developments of …, 2021
42021
A Tableaux Calculus for Default Intuitionistic Logic
V Cassano, R Fervari, G Hoffmann, C Areces, PF Castro
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
32019
Reasoning About Prescription and Description Using Prioritized Default Rules
V Cassano12, C Areces12, P Castro13
32018
A (proto) logical basis for the notion of a structured argument in a safety case
V Cassano, TSE Maibaum, S Grigorova
Formal Methods and Software Engineering: 18th International Conference on …, 2016
32016
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
C Areces, V Cassano, R Fervari, G Hoffmann
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
22023
A Deontic Logic of Knowingly Complying
C Areces, V Cassano, PF Castro, R Fervari, AR Saravia
Proceedings of the 22nd International Conference on Autonomous Agents and …, 2023
22023
Default modal systems as algebraic updates
V Cassano, R Fervari, C Areces, PF Castro
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
22020
How easy it is to know how: an upper bound for the satisfiability problem
C Areces, V Cassano, PF Castro, R Fervari, AR Saravia
European Conference on Logics in Artificial Intelligence, 405-419, 2023
12023
Data Graphs with Incomplete Information (and a Way to Complete Them)
C Areces, V Cassano, D Dutto, R Fervari
European Conference on Logics in Artificial Intelligence, 729-744, 2023
12023
Data-Aware Hybrid Tableaux
C Areces, V Cassano, R Fervari
arXiv preprint arXiv:2406.12090, 2024
2024
Algebraic tools for default modal systems
V Cassano, R Fervari, C Areces, PF Castro
Journal of Logic and Computation 33 (6), 1301-1325, 2023
2023
Non-monotonic Reasoning via Dynamic Consequence
C Areces, V Cassano, R Fervari
International Workshop on Logic, Language, Information, and Computation, 395-410, 2022
2022
Deontic Action Logics via Algebra.
PF Castro, V Cassano, R Fervari, C Areces
DEON, 77-93, 2021
2021
An Algebraic Approach for Action Based Default Reasoning
PF Castro, V Cassano, R Fervari, C Areces
arXiv preprint arXiv:1907.09124, 2019
2019
A Logical Basis for Reasoning with Default Rules
V Cassano
McMaster University, 2015
2015
Is current incremental safety assurance sound?
V Cassano, S Grigorova, NK Singh, M Adedjouma, M Lawford, ...
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20