%0 Conference Paper %1 Reiter87Foundations_ATMS %A Reiter, Raymond %A de Kleer, Johan %B Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87) %D 1987 %K künstliche Truth ATMS Intelligence Intelligenz AI Artificial Foundations System Maintenance KI Assumption-based %P 183-189 %T Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. %U http://dblp.uni-trier.de/db/conf/aaai/aaai87.html#ReiterK87 %@ 1-57735-031-6

@inproceedings{Reiter87Foundations_ATMS, added-at = {2006-10-25T16:45:04.000+0200}, author = {Reiter, Raymond and de Kleer, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2401e9e8449f2fbc5583c6056cbc0642a/hpeter}, booktitle = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)}, description = {dblp}, interhash = {55ea28c6d0998395c4206d4bb8ccd5ef}, intrahash = {401e9e8449f2fbc5583c6056cbc0642a}, isbn = {1-57735-031-6}, keywords = {künstliche Truth ATMS Intelligence Intelligenz AI Artificial Foundations System Maintenance KI Assumption-based}, pages = {183-189}, timestamp = {2006-10-25T16:45:04.000+0200}, title = {Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai87.html#ReiterK87}, year = 1987 }