A Web-based Tutoring Tool for Calculating Default Logic Extensions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits. A Web-based Tutoring Tool for Calculating Default Logic Extensions. In WebNet. pages 1251-1252, 1999.

@inproceedings{EglyFPT99,
  title = {A Web-based Tutoring Tool for Calculating Default Logic Extensions},
  author = {Uwe Egly and Michael Fink and Axel Polleres and Hans Tompits},
  year = {1999},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/EglyFPT99},
  cites = {0},
  citedby = {0},
  pages = {1251-1252},
  booktitle = {WebNet},
}

runs on WebDSL