Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
ACM Journal of Educational Resources in Computing - 2015

BibTex references

@Article\{AKRU15,
  author       = "Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastian",
  title        = "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning",
  journal      = "ACM Journal of Educational Resources in Computing",
  year         = "2015",
  publisher    = "Communications of the ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2015/AKRU15"
}

Other publications in the database

» Dalal Alrajeh
» Jeff Kramer
» Alessandra Russo
» Sebastian Uchitel