Theoretical Foundations and Semantics of Logic Programming

Annalisa Bossi, Maria Chiara Meo. Theoretical Foundations and Semantics of Logic Programming. In Agostino Dovier, Enrico Pontelli, editors, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Volume 6125 of Lecture Notes in Computer Science, pages 15-36, Springer, 2010. [doi]

@inproceedings{BossiM10,
  title = {Theoretical Foundations and Semantics of Logic Programming},
  author = {Annalisa Bossi and Maria Chiara Meo},
  year = {2010},
  doi = {10.1007/978-3-642-14309-0_2},
  url = {http://dx.doi.org/10.1007/978-3-642-14309-0_2},
  tags = {semantics, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/BossiM10},
  cites = {0},
  citedby = {0},
  pages = {15-36},
  booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP},
  editor = {Agostino Dovier and Enrico Pontelli},
  volume = {6125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14308-3},
}