Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. Volume 810 of CEUR Workshop Proceedings, pages 41-55, CEUR-WS.org, 2011. [doi]

This author has not been identified. Look up 'Laura Giordano' in GoogleThis author has not been identified. Look up 'Valentina Gliozzi' in GoogleThis author has not been identified. Look up 'Nicola Olivetti' in GoogleThis author has not been identified. Look up 'Gian Luca Pozzato' in Google

runs on WebDSL