The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Thomas Eiter, Georg Gottlob. The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. In IJCAI. pages 526-533, 1993.

@inproceedings{EiterG93:1,
  title = {The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions},
  author = {Thomas Eiter and Georg Gottlob},
  year = {1993},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/EiterG93%3A1},
  cites = {0},
  citedby = {0},
  pages = {526-533},
  booktitle = {IJCAI},
}