Embedding and automating conditional logics in classical higher-order logic (bibtex)
by Christoph Benzmuller, Dov Gabbay, Valerio Genovese, Daniele Rispoli
Reference:
Embedding and automating conditional logics in classical higher-order logic (Christoph Benzmuller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Ann. Math. Artif. Intell., Springer, volume 66, 2012.
Bibtex Entry:
@Article{Benzmuller2012a,
  Title                    = {Embedding and automating conditional logics in classical higher-order logic},
  Author                   = {Benzmuller, Christoph and Gabbay, Dov and Genovese, Valerio and Rispoli, Daniele},
  Journal                  = {Ann. Math. Artif. Intell.},
  Year                     = {2012},
  Number                   = {1-4},
  Pages                    = {257-271},
  Volume                   = {66},

  __markedentry            = {[diego.ambrossio:6]},
  Date-added               = {2013-01-04 17:49:13 +0100},
  Date-modified            = {2013-01-04 17:49:13 +0100},
  ISSN                     = {1012-2443},
  Publisher                = {Springer},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser