Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ulrich Junker, Kurt Konolige. Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System. In AAAI. pages 278-283, 1990.

@inproceedings{JunkerK90,
  title = {Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System},
  author = {Ulrich Junker and Kurt Konolige},
  year = {1990},
  tags = {maintenance, logic},
  researchr = {https://researchr.org/publication/JunkerK90},
  cites = {0},
  citedby = {0},
  pages = {278-283},
  booktitle = {AAAI},
}

runs on WebDSL