( en | de | ru )

 

Disambiguation of "Giordano, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
Adopting model checking techniques for clinical guidelines verification

, , , , , and . Artificial Intelligence in Medicine, 48 (1): 1 - 19 (2010)
DOI: 10.1016/j.artmed.2009.09.003

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sébastien Giordano

Paolo Giordano

Mario Laura

Marco Laurati

Andrea Giordano

 

Other publications of authors with the same name

ASP and Ontologies for Reasoning on Business Processes., and . DDC@AI*IA, volume 2495 of CEUR Workshop Proceedings, page 45-52. CEUR-WS.org, (2019)A Framework for a Modal Logic Programming., , and . JICSLP, page 52-66. MIT Press, (1996)Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin., , , and . IJCAI, page 894-899. IJCAI/AAAI, (2011)An Abductive Characterization of the TMS., and . ECAI, page 308-313. (1990)Preferential Description Logics., , , and . LPAR, volume 4790 of Lecture Notes in Computer Science, page 257-272. Springer, (2007)Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language., , , and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 203-216. Springer, (1995)A constructive conditional logic for access control: a preliminary report., , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 1073-1074. IOS Press, (2010)A Conditional Constructive Logic for Access Control and Its Sequent Calculus., , , and . TABLEAUX, volume 6793 of Lecture Notes in Computer Science, page 164-179. Springer, (2011)An Abductive Proof Procedure for Conditional Logic Programming., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 231-245. Springer, (1996)A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $DL-Lite_core$., , , and . AI*IA, volume 6934 of Lecture Notes in Computer Science, page 164-176. Springer, (2011)