Reasoning with Bounded Self-reference Using Logical Interpreters (bibtex)
by Daniel Gorín, Lutz Schröder, Thorsten Wißmann
Reference:
Reasoning with Bounded Self-reference Using Logical Interpreters (Daniel Gorín, Lutz Schröder, Thorsten Wißmann), In 26th International Workshop on Description Logics, DL 2013 (Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds.), CEUR Workshop Proceedings, vol. 1014, pp. 689–703, CEUR-WS.org, 2013.
Bibtex Entry:
@inproceedings{GorinEA13,
  author    = {Daniel Gor{\'{i}}n and
               Lutz Schr{\"{o}}der and
               Thorsten Wi{\ss}mann},
  title     = {Reasoning with Bounded Self-reference Using Logical Interpreters},
  pages     = {689-703},
  editor    = {Thomas Eiter and
               Birte Glimm and
               Yevgeny Kazakov and
               Markus Kr{\"{o}}tzsch},
  booktitle     = {26th International Workshop
               on Description Logics, DL 2013},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {1014},
  year      = {2013},
  url        = {http://ceur-ws.org/Vol-1014/paper_75.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser