On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic (bibtex)
by Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann
Reference:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic (Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann), In J. Artif. Intell. Res. (JAIR), volume 42, 2011.
Bibtex Entry:
@Article{Booth2011,
  Title                    = {On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic},
  Author                   = {Richard Booth and Thomas Meyer and Ivan Jos{\'e} Varzinczak and Renata Wassermann},
  Journal                  = {J. Artif. Intell. Res. (JAIR)},
  Year                     = {2011},
  Pages                    = {31-53},
  Volume                   = {42},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1613/jair.3364},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser