%0 Conference Paper
%1 reason:JunKon90a
%A Junker, U.
%A Konolige, K.
%B Proc.\ 8th National Conference on Artificial Intelligence
%C Boston, MA
%D 1990
%K imported ml
%P 278--283
%T Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System
@inproceedings{reason:JunKon90a,
added-at = {2016-11-26T13:19:29.000+0100},
address = {Boston, MA},
author = {Junker, U. and Konolige, K.},
biburl = {https://www.bibsonomy.org/bibtex/284c3c17fd3e208ded562fd777502b9ca/machinelearning},
booktitle = {Proc.\ 8th National Conference on Artificial Intelligence},
interhash = {1c14ee0187d01061fa7e97628e0f4f31},
intrahash = {84c3c17fd3e208ded562fd777502b9ca},
keywords = {imported ml},
month = jul,
pages = {278--283},
serial = {JunKon90a},
timestamp = {2016-11-26T13:20:49.000+0100},
title = {Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System},
year = 1990
}