Claudia Cauli

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 7

Top Topics

Description Logics

Top Venues

Description Logics

Publications

Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-closed Knowledge Bases. CoRR (2022)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Actions over Core-Closed Knowledge Bases. IJCAR (2022)
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). Description Logics (2021)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). Description Logics (2021)
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security. KR (2021)
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. CAV (1) (2021)
Claudia Cauli, Nir Piterman
Equivalence of Probabilistic \mu -Calculus and p-Automata. CIAA (2017)