Combining Logics in Simple Type Theory

Benzmüller, Christoph

doi:10.1007/978-3-642-14977-1_6

by Christoph Benzmüller

Reference:

Combining Logics in Simple Type Theory (Christoph Benzmüller), In Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings (Jürgen Dix, Joao Leite, Guido Governatori, Woitek Jamroga, eds.), Springer, Lecture Notes in Artifical Intelligence, volume 6245, pp. 33-48, 2010. (Url (preprint): http://christoph-benzmueller.de/papers/W41.pdf)

Bibtex Entry:

@inproceedings{W41,
  Address =	 {Lisbon, Portugal},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Computational Logic in Multi-Agent Systems, 11th
                  International Workshop, CLIMA XI, Lisbon, Portugal,
                  August 16-17, 2010. Proceedings},
  Doi =		 {10.1007/978-3-642-14977-1_6},
  Editor =	 {J{\"u}rgen Dix and Joao Leite and Guido Governatori
                  and Woitek Jamroga},
  Pages =	 {33-48},
  Publisher =	 {Springer},
  Series =	 {Lecture Notes in Artifical Intelligence},
  Title =	 {Combining Logics in Simple Type Theory},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W41.pdf}},
  Volume =	 6245,
  Year =	 2010,
}