Embedding and Automating Conditional Logics in Classical Higher-Order Logic (bibtex)
by Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli
Reference:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Annals of Mathematics and Artificial Intelligence, volume 66, number 1-4, pp. 257-271, 2012.
Bibtex Entry:
@article{J26,
  Author =	 {Christoph Benzm{\"u}ller and Dov Gabbay and Valerio
                  Genovese and Daniele Rispoli},
  Doi =		 {10.1007/s10472-012-9320-z},
  Journal =	 {Annals of Mathematics and Artificial Intelligence},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Conditional
                  Logics, Automated Reasoning},
  Number =	 {1-4},
  Pages =	 {257-271},
  Title =	 {Embedding and Automating Conditional Logics in
                  Classical Higher-Order Logic},
  Url =		 {http://christoph-benzmueller.de/papers/J26.pdf},
  Volume =	 66,
  Year =	 2012,
}
Powered by bibtexbrowser