Generalized Quantifiers in Logic Programs (bibtex)
by Thomas Eiter, Georg Gottlob, Helmut Veith
Reference:
Generalized Quantifiers in Logic ProgramsThomas Eiter, Georg Gottlob, Helmut VeithGeneralized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures (Jouko A. Väänänen, ed.), pages 72-98, 1997, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/esslli/EiterGV97,
  author = {Thomas Eiter and Georg Gottlob and Helmut Veith},
  title = {Generalized Quantifiers in Logic Programs},
  year = {1997},
  booktitle = {Generalized Quantifiers and Computation, 9th European Summer School   in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence,   France, August 11-22, 1997, Revised Lectures},
  editor = {Jouko A. V{\"a}{\"a}n{\"a}nen},
  pages = {72--98},
  publisher = {Springer},
  isbn = {3-540-66993-0},
  url = {http://link.springer.de/link/service/series/0558/bibs/1754/17540072.htm}
}
Powered by bibtexbrowser