On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Baumgartner, Georg Gottlob. On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 64-69, Morgan Kaufmann, 1999.

This author has not been identified. Look up 'Robert Baumgartner' in GoogleThis author has not been identified. Look up 'Georg Gottlob' in Google

runs on WebDSL