Interpolation Theorems for Nonmonotonic Reasoning Systems

Eyal Amir. Interpolation Theorems for Nonmonotonic Reasoning Systems. In Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, editors, Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Volume 2424 of Lecture Notes in Computer Science, pages 233-244, Springer, 2002. [doi]

@inproceedings{Amir02:0,
  title = {Interpolation Theorems for Nonmonotonic Reasoning Systems},
  author = {Eyal Amir},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2424/24240233.htm},
  researchr = {https://researchr.org/publication/Amir02%3A0},
  cites = {0},
  citedby = {0},
  pages = {233-244},
  booktitle = {Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings},
  editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni},
  volume = {2424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44190-5},
}