ToyamaKI02'

BibTeX

@inproceedings{DBLP:conf/clima/ToyamaKI02,
  author    = {Katsuhiko Toyama and
               Takahiro Kojima and
               Yasuyoshi Inagaki},
  title     = {Translating Multi-Agent Autoepistemic Logic into Logic Program},
  booktitle = {CLIMA III},
  year      = {2002},
  pages     = {49-62},
  crossref  = {DBLP:conf/clima/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/clima/2002,
  editor    = {J{\"u}rgen Dix and
               Jo{\~a}o Alexandre Leite and
               Ken Satoh},
  title     = {Computational Logic in Multi-Agent Systems: 3rd International
               Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002,
               Pre-Proceedings},
  booktitle = {CLIMA},
  publisher = {Roskilde University},
  series    = {Datalogiske Skrifter},
  volume    = {93},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}