BibTeX record conf/kr/Giunchiglia96

download as .bib file

@inproceedings{DBLP:conf/kr/Giunchiglia96,
  author    = {Enrico Giunchiglia},
  editor    = {Luigia Carlucci Aiello and
               Jon Doyle and
               Stuart C. Shapiro},
  title     = {Determining Ramifications in the Situation Calculus},
  booktitle = {Proceedings of the Fifth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
               USA, November 5-8, 1996},
  pages     = {76--86},
  publisher = {Morgan Kaufmann},
  year      = {1996},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/Giunchiglia96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics