A Top-down Approach to Combining Logics (bibtex)
by Christoph Benzmüller
Reference:
A Top-down Approach to Combining Logics (Christoph Benzmüller), In Proc. of the 5th International Conference on Agents and Artificial Intelligence (ICAART) (Joaquim Filipe, Ana Fred, eds.), SCITEPRESS -- Science and Technology Publications, Lda, volume 1, pp. 346-351, 2013. (slides)
Bibtex Entry:
@inproceedings{C35,
  Address =	 {Barcelona, Spain},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Proc. of the 5th International Conference on Agents
                  and Artificial Intelligence (ICAART)},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2013-ICAART.pdf
                  " target="_blank">slides</a>},
  Doi =		 {10.5220/0004324803460351},
  Editor =	 {Joaquim Filipe and Ana Fred},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Combinations of Logics},
  Pages =	 {346-351},
  Publisher =	 {SCITEPRESS -- Science and Technology Publications,
                  Lda},
  Title =	 {A Top-down Approach to Combining Logics},
  Url =		 {http://christoph-benzmueller.de/papers/C35.pdf},
  Volume =	 1,
  Year =	 2013,
}
Powered by bibtexbrowser