Modular Logic Programming and Generalized Quantifiers (bibtex)
by Thomas Eiter, Georg Gottlob, Helmut Veith
Reference:
Modular Logic Programming and Generalized QuantifiersThomas Eiter, Georg Gottlob, Helmut VeithLogic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Jürgen Dix, Ulrich Furbach, Anil Nerode, eds.), pages 290-309, 1997, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/lpnmr/EiterGV97,
  author = {Thomas Eiter and Georg Gottlob and Helmut Veith},
  title = {Modular Logic Programming and Generalized Quantifiers},
  year = {1997},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International   Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997,   Proceedings},
  editor = {J{\"u}rgen Dix and Ulrich Furbach and Anil Nerode},
  pages = {290--309},
  publisher = {Springer},
  isbn = {3-540-63255-7}
}
Powered by bibtexbrowser