%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 }