Gian Luca Pozzato

Gian Luca Pozzato

Università degli Studi di Torino - Torino / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1805261
University of Turin
person_outline Gian Luca Pozzato's MOST POPULAR ARTICLES
1-) Semantic characterization of rational closure: From propositional logic to description logicsL Giordano, V Gliozzi, N Olivetti, GL PozzatoArtificial Intelligence 226, 1-33, 20151602015
2-) A non-monotonic description logic for reasoning about typicalityL Giordano, V Gliozzi, N Olivetti, GL PozzatoArtificial Intelligence 195, 165-202, 20131602013
3-) ALC+ T: a preferential extension of description logicsL Giordano, N Olivetti, V Gliozzic, GL PozzatoFundamenta Informaticae 96 (3), 341-372, 20091272009
4-) Preferential description logicsL Giordano, V Gliozzi, N Olivetti, GL PozzatoInternational Conference on Logic for Programming Artificial Intelligence …, 20071202007
5-) A sequent calculus and a theorem prover for standard conditional logicsN Olivetti, GL Pozzato, CB SchwindACM Transactions on Computational Logic (ToCL) 8 (4), 22-es, 2007762007