Reflective Autoepistemic Logic and Logic Programming - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

V. Wiktor Marek, Miroslaw Truszczynski. Reflective Autoepistemic Logic and Logic Programming. In LPNMR. pages 115-131, 1993.

@inproceedings{MarekT93,
  title = {Reflective Autoepistemic Logic and Logic Programming},
  author = {V. Wiktor Marek and Miroslaw Truszczynski},
  year = {1993},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/MarekT93},
  cites = {0},
  citedby = {0},
  pages = {115-131},
  booktitle = {LPNMR},
}

runs on WebDSL