Contradiction Resolving for Extended Logic Programs and Default Theories - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jia-Huai You, Li-Yan Yuan. Contradiction Resolving for Extended Logic Programs and Default Theories. In ILPS. pages 640, 1993.

@inproceedings{YouY93,
  title = {Contradiction Resolving for Extended Logic Programs and Default Theories},
  author = {Jia-Huai You and Li-Yan Yuan},
  year = {1993},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/YouY93},
  cites = {0},
  citedby = {0},
  pages = {640},
  booktitle = {ILPS},
}

runs on WebDSL