Computing Circumscription of Horn Theories - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yves Moinard. Computing Circumscription of Horn Theories. In ECAI. pages 513-515, 1988.

@inproceedings{Moinard88,
  title = {Computing Circumscription of Horn Theories},
  author = {Yves Moinard},
  year = {1988},
  researchr = {https://researchr.org/publication/Moinard88},
  cites = {0},
  citedby = {0},
  pages = {513-515},
  booktitle = {ECAI},
}

runs on WebDSL