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.
@inproceedings{BaumgartnerG99,
title = {On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases},
author = {Robert Baumgartner and Georg Gottlob},
year = {1999},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/BaumgartnerG99},
cites = {0},
citedby = {0},
pages = {64-69},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages},
editor = {Thomas Dean},
publisher = {Morgan Kaufmann},
isbn = {1-55860-613-0},
}