A Top Down Proof Procedure for Default Logic by Using Abduction - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ken Satoh. A Top Down Proof Procedure for Default Logic by Using Abduction. In ECAI. pages 65-69, 1994.

@inproceedings{Satoh94,
  title = {A Top Down Proof Procedure for Default Logic by Using Abduction},
  author = {Ken Satoh},
  year = {1994},
  tags = {logic},
  researchr = {https://researchr.org/publication/Satoh94},
  cites = {0},
  citedby = {0},
  pages = {65-69},
  booktitle = {ECAI},
}

runs on WebDSL