---
title: "Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases"
authors:
  - "Sylvie Coste-Marquis"
  - "Pierre Marquis"
doi: ""
url: "https://ijcai.org/proceedings/1999/4"
pdf: "https://ijcai.org/proceedings/1999/0004.pdf"
venue: "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"
year: 1999
pages: ""
track: ""
keywords:
---

# Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases

Sylvie Coste-Marquis, Pierre Marquis

*Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence*.

## Abstract