BibTeX record conf/atal/BenerecettiCGGS97

download as .bib file

@inproceedings{DBLP:conf/atal/BenerecettiCGGS97,
  author       = {Massimo Benerecetti and
                  Alessandro Cimatti and
                  Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Luciano Serafini},
  editor       = {J{\"{o}}rg P. M{\"{u}}ller and
                  Michael J. Wooldridge and
                  Nicholas R. Jennings},
  title        = {Formal Specification of Beliefs in Multi-Agent Systems},
  booktitle    = {Intelligent Agents III, Agent Theories, Architectures, and Languages,
                  {ECAI} '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1193},
  pages        = {117--130},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0013581},
  doi          = {10.1007/BFB0013581},
  timestamp    = {Sun, 02 Jun 2019 21:10:52 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/BenerecettiCGGS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics