Horn Clause Contraction Functions

James P. Delgrande, Renata Wassermann. Horn Clause Contraction Functions. J. Artif. Intell. Res. (JAIR), 48:475-511, 2013. [doi]

@article{DelgrandeW13,
  title = {Horn Clause Contraction Functions},
  author = {James P. Delgrande and Renata Wassermann},
  year = {2013},
  doi = {10.1613/jair.4031},
  url = {http://dx.doi.org/10.1613/jair.4031},
  researchr = {https://researchr.org/publication/DelgrandeW13},
  cites = {0},
  citedby = {0},
  journal = {J. Artif. Intell. Res. (JAIR)},
  volume = {48},
  pages = {475-511},
}