BibTeX record conf/nmelp/BaldoniGMP96

• > Home > conf/nmelp/BaldoniGMP96

@inproceedings{DBLP:conf/nmelp/BaldoniGMP96,
  author       = {Matteo Baldoni and
                  Laura Giordano and
                  Alberto Martelli and
                  Viviana Patti},
  editor       = {J{\"{u}}rgen Dix and
                  Lu{\'{\i}}s Moniz Pereira and
                  Teodor C. Przymusinski},
  title        = {An Abductive Proof Procedure for Reasoning About Actions in Modal
                  Logic Programming},
  booktitle    = {Non-Monotonic Extensions of Logic Programming, {NMELP} '96, Bad Honnef,
                  Germany, September 5-6, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1216},
  pages        = {132--150},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0023805},
  doi          = {10.1007/BFB0023805},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nmelp/BaldoniGMP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}