Model-Based Diagnosis Meets Error Diagnosis in Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Luca Console, Gerhard Friedrich, Daniele Theseider Dupré. Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. In IJCAI. pages 1494-1501, 1993.

@inproceedings{ConsoleFD93:0,
  title = {Model-Based Diagnosis Meets Error Diagnosis in Logic Programs},
  author = {Luca Console and Gerhard Friedrich and Daniele Theseider Dupré},
  year = {1993},
  tags = {rule-based, logic programming, logic},
  researchr = {https://researchr.org/publication/ConsoleFD93%3A0},
  cites = {0},
  citedby = {0},
  pages = {1494-1501},
  booktitle = {IJCAI},
}

runs on WebDSL