Laura Giordano
Titolo
Citata da
Citata da
Anno
A non-monotonic description logic for reasoning about typicality
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 195, 165-202, 2013
1342013
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1142009
Semantic characterization of rational closure: From propositional logic to description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 226, 1-33, 2015
902015
Specifying and verifying interaction protocols in a temporal action logic
L Giordano, A Martelli, C Schwind
Journal of Applied Logic 5 (2), 214-234, 2007
792007
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
LPAR 2007 - International Conference on Logic for Programming, Artificialá…, 2007
712007
A tableau calculus for multimodal logics and some (un) decidability results
M Baldoni, L Giordano, A Martelli
International Conference on Automated Reasoning with Analytic Tableaux andá…, 1998
651998
Ramification and causality in a modal action logic
L Giordano, A Martelli, C Schwind
Journal of logic and computation 10 (5), 625-662, 2000
642000
Adopting model checking techniques for clinical guidelines verification
A Bottrighi, L Giordano, G Molino, S Montani, P Terenziani, M Torchio
Artificial intelligence in medicine 48 (1), 1-19, 2010
552010
Reasoning about typicality in preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, 192-205, 2008
492008
Programming rational agents in a modal action logic
M Baldoni, A Martelli, V Patti, L Giordano
Annals of Mathematics and Artificial Intelligence 41 (2-4), 207-257, 2004
482004
Reasoning about actions in dynamic linear time temporal logic
L Giordano, A Martelli, C Schwind
Logic Journal of the IGPL 9 (2), 273-288, 2001
462001
Conditional logic of actions and causation
L Giordano, C Schwind
Artificial intelligence 157 (1-2), 239-279, 2004
412004
Local definitions with static scope rules in logic programming
L Giordano, A Martelli, GF Rossi
Int. Conf. on Fifth Generation Computer Systems, 689-696, 1988
411988
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
ACM Transactions on Computational Logic (TOCL) 10 (3), 1-47, 2009
402009
Structuring logic programs: A modal approach
L Giordano, A Martelli
The Journal of Logic Programming 21 (2), 59-94, 1994
401994
A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning
M Baldoni, L Giordano, A Martelli
Journal of Logic and Computation 8 (5), 597-635, 1998
391998
Minimal model semantics and rational closure in description logics
L Giordano, V Gliozzi, N Olivetti, G Pozzato
DL 2013 26th International Workshop on Description Logics 1014, 168-180, 2013
372013
Verifying communicating agents by model checking in a temporal action logic
L Giordano, A Martelli, C Schwind
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, 57-69, 2004
362004
Model checking for clinical guidelines: an agent-based approach
L Giordano, P Terenziani, A Bottrighi, S Montani, L Donzella
Amia annual symposium proceedings 2006, 289, 2006
352006
Dealing with concurrent actions in modal action logics
L Giordano, A Martelli, C Schwind
13th European Conf. on Artificial Intelligence, ECAI'98, 537-541, 1998
351998
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20