Automating Quantified Conditional Logics in HOL (bibtex)
by Christoph Benzmüller
Reference:
Automating Quantified Conditional Logics in HOL (Christoph Benzmüller), In 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) (Francesca Rossi, ed.), AAAI Press, pp. 746-753, 2013. (poster)
Bibtex Entry:
@inproceedings{C37,
  Address =	 {Beijing, China},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {23rd International Joint Conference on Artificial
                  Intelligence (IJCAI-13)},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2013-IJCAI-Poster.pdf"
                  target="_blank " target="_blank">poster</a>},
  Editor =	 {Francesca Rossi},
  Publisher =	 {AAAI Press},
  Isbn =	 {978-1-57735-633-2},
  Keywords =	 {own, Higher Order Logic, LEO Prover, Semantic Embedding,
                  Conditional Logics, Combinations of Logics},
  Pages =	 {746-753},
  Title =	 {Automating Quantified Conditional Logics in {HOL}},
  Url =		 {http://christoph-benzmueller.de/papers/C37.pdf},
  Year =	 2013,
}
Powered by bibtexbrowser