Seuraa
Laura Giordano
Laura Giordano
Vahvistettu sähköpostiosoite verkkotunnuksessa uniupo.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1852015
A non-monotonic description logic for reasoning about typicality
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 195, 165-202, 2013
1702013
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1412009
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
LPAR 2007 - International Conference on Logic for Programming, Artificial …, 2007
1132007
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
852007
A tableau calculus for multimodal logics and some (un) decidability results
M Baldoni, L Giordano, A Martelli
Automated Reasoning with Analytic Tableaux and Related Methods …, 1998
741998
Ramification and causality in a modal action logic
L Giordano, A Martelli, C Schwind
Journal of logic and computation 10 (5), 625-662, 2000
732000
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
632010
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
592008
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
572001
Conditional logic of actions and causation
L Giordano, C Schwind
Artificial intelligence 157 (1-2), 239-279, 2004
542004
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
522009
Programming rational agents in a modal action logic
M Baldoni, A Martelli, V Patti, L Giordano
Annals of Mathematics and Artificial Intelligence 41, 207-257, 2004
512004
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
431998
Structuring logic programs: A modal approach
L Giordano, A Martelli
The Journal of Logic Programming 21 (2), 59-94, 1994
431994
Minimal model semantics and rational closure in description logics
L Giordano, V Gliozzi, N Olivetti, G Pozzato
CEUR Workshop Proceedings 1014, 168-180, 2013
422013
A minimal model semantics for nonmonotonic reasoning
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 228-241, 2012
422012
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
422006
Dealing with concurrent actions in modal action logic
L Giordano, A Martelli, C Schwind
Proceedings European Conference on Artificial Intelligence-ECAI98, 1998
411998
Generalized stable models, truth maintenance and conflict resolution
L Giordano, A Martelli
Logic programming, Proceedings of the Seventh International Conference, 427-441, 1990
411990
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20