Autoepistemic Predicate Logic

Reference:

Ilkka Niemelä. Autoepistemic predicate logic. In Proceedings of the 8th European Conference on Artificial Intelligence, pages 595–600, München, August 1988. Pitman Publishing.

Suggested BibTeX entry:

@inproceedings{Niemela88:ecai,
    address = {M\"unchen},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 8th European Conference on Artificial Intelligence},
    month = {August},
    pages = {595--600},
    publisher = {Pitman Publishing},
    title = {Autoepistemic Predicate Logic},
    year = {1988},
}