@inproceedings{DBLP:conf/ijcai/Coste-MarquisM99,
author = {Sylvie Coste-Marquis and
Pierre Marquis},
title = {Complexity Results for Propositional Closed World Reasoning
and Circumscription from Tractable Knowledge Bases},
booktitle = {IJCAI},
year = {1999},
pages = {24-29},
crossref = {DBLP:conf/ijcai/99},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcai/99,
editor = {Thomas Dean},
title = {Proceedings of the Sixteenth International Joint Conference
on Artificial Intelligence, IJCAI 99, Stockholm, Sweden,
July 31 - August 6, 1999. 2 Volumes, 1450 pages},
publisher = {Morgan Kaufmann},
year = {1999},
isbn = {1-55860-613-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
