Merging in the Horn Fragment

Haret, Adrian; Rümmele, Stefan; Woltran, Stefan

by Adrian Haret, Stefan Rümmele, Stefan Woltran

Reference:

Merging in the Horn FragmentAdrian Haret, Stefan Rümmele, Stefan WoltranProceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3041–3047, 2015.

Bibtex Entry:

@inproceedings{DBLP:conf/ijcai/HaretRW15,
  author    = {Adrian Haret and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title     = {Merging in the Horn Fragment},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {3041--3047},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/429},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HaretRW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}