@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_preprint = {http://christoph-benzmueller.de/papers/J26.pdf},
  Volume =	 66,
  Year =	 2012,
}

{"_id":"AtSKsHTekZnZSLgE4","bibbaseid":"benzmller-gabbay-genovese-rispoli-embeddingandautomatingconditionallogicsinclassicalhigherorderlogic-2012","author_short":["Benzmüller, C.","Gabbay, D.","Genovese, V.","Rispoli, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Dov"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Valerio"],"propositions":[],"lastnames":["Genovese"],"suffixes":[]},{"firstnames":["Daniele"],"propositions":[],"lastnames":["Rispoli"],"suffixes":[]}],"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_preprint":"http://christoph-benzmueller.de/papers/J26.pdf","volume":"66","year":"2012","bibtex":"@article{J26,\n Author =\t {Christoph Benzm{\\\"u}ller and Dov Gabbay and Valerio\n Genovese and Daniele Rispoli},\n Doi =\t\t {10.1007/s10472-012-9320-z},\n Journal =\t {Annals of Mathematics and Artificial Intelligence},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding,\n Conditional Logics, Automated Reasoning},\n Number =\t {1-4},\n Pages =\t {257-271},\n Title =\t {Embedding and Automating Conditional Logics in\n Classical Higher-Order Logic},\n url_preprint = {http://christoph-benzmueller.de/papers/J26.pdf},\n Volume =\t 66,\n Year =\t 2012,\n}\n\n","author_short":["Benzmüller, C.","Gabbay, D.","Genovese, V.","Rispoli, D."],"key":"J26","id":"J26","bibbaseid":"benzmller-gabbay-genovese-rispoli-embeddingandautomatingconditionallogicsinclassicalhigherorderlogic-2012","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/J26.pdf"},"keyword":["own","Higher Order Logic","Semantic Embedding","Conditional Logics","Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":9},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","conditional logics","automated reasoning"],"search_terms":["embedding","automating","conditional","logics","classical","higher","order","logic","benzmüller","gabbay","genovese","rispoli"],"title":"Embedding and Automating Conditional Logics in Classical Higher-Order Logic","year":2012,"downloads":9}