Probably approximately correct learning of Horn envelopes from queries

From International Center for Computational Logic

Toggle side column

Probably approximately correct learning of Horn envelopes from queries

Daniel BorchmannDaniel Borchmann,  Tom HanikaTom Hanika,  Sergei ObiedkovSergei Obiedkov
Daniel Borchmann, Tom Hanika, Sergei Obiedkov
Probably approximately correct learning of Horn envelopes from queries
Discrete Applied Mathematics, 273:30–42, February 2020
@article{BHO2020,
  author    = {Daniel Borchmann and Tom Hanika and Sergei Obiedkov},
  title     = {Probably approximately correct learning of Horn envelopes from
               queries},
  journal   = {Discrete Applied Mathematics},
  volume    = {273},
  publisher = {Elsevier},
  year      = {2020},
  month     = {February},
  pages     = {30{\textendash}42}
}