Evaluating an Algorithm for Default Reasoning

Reference:

Ilkka Niemelä and P. Simons. Evaluating an algorithm for default reasoning. In Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada, pages 66–72, Montreal, Canada, August 1995.

Suggested BibTeX entry:

@inproceedings{NS95:ijcaiws,
    address = {Montreal, Canada},
    author = {Ilkka Niemel{\"a} and Simons, P.},
    booktitle = {Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada},
    month = {August},
    pages = {66--72},
    title = {Evaluating an Algorithm for Default Reasoning},
    year = {1995},
}

This work is not available online here.