Laura Giordano

A non-monotonic Description Logic for reasoning about typicality

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · Artificial Intelligence · 2012 · 142 citations · Full text

Computing, Psychology, Formal Methods +9

Semantic characterization of rational closure: From propositional logic to description logics

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · Artificial Intelligence · 2015 · 140 citations · Full text

Humanities, Computer Science, Philosophy +17

ALC + T: a Preferential Extension of Description Logics

Laura Giordano, Nicola Olivetti, Valentina Gliozzic et al. · Fundamenta Informaticae · 2009 · 112 citations

Computing, Computer Science, Knowledge Representation +5

Specifying and verifying interaction protocols in a temporal action logic

Laura Giordano, Alberto Martelli, Camilla Schwind · Journal of Applied Logic · 2007 · 59 citations

Computing, Computer Science, Formal Methods +10

Adopting model checking techniques for clinical guidelines verification

Alessio Bottrighi, Laura Giordano, Gianpaolo Molino et al. · Artificial Intelligence in Medicine · 2009 · 57 citations

Computing, Biomedical Informatics, Clinical Decision Support +8