Claudia Cauli

According to our database, Claudia Cauli authored at least 6 papers between 2017 and 2022.

Collaborative distances:

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

2022

Actions over Core-Closed Knowledge Bases.

Claudia Cauli, Magdalena Ortiz, Nir Piterman

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security.

Claudia Cauli, Magdalena Ortiz, Nir Piterman

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).

Claudia Cauli, Magdalena Ortiz, Nir Piterman

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract).

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning.

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2017

Equivalence of Probabilistic \mu -Calculus and p-Automata.

Claudia Cauli, Nir Piterman

Proceedings of the Implementation and Application of Automata, 2017