A Uniform Tableaux Method for Nonmonotonic Modal Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati. A Uniform Tableaux Method for Nonmonotonic Modal Logics. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 87-103, Springer, 1996.

This author has not been identified. Look up 'Francesco M. Donini' in GoogleThis author has not been identified. Look up 'Fabio Massacci' in GoogleThis author has not been identified. Look up 'Daniele Nardi' in GoogleThis author has not been identified. Look up 'Riccardo Rosati' in Google

runs on WebDSL