%0 Conference Paper %1 conf/aaai/ReiterK87 %A Reiter, Raymond %A de Kleer, Johan %B AAAI %D 1987 %E Forbus, Kenneth D. %E Shrobe, Howard E. %I Morgan Kaufmann %K dblp %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

@inproceedings{conf/aaai/ReiterK87, added-at = {2023-09-04T00:00:00.000+0200}, author = {Reiter, Raymond and de Kleer, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2f4d19d0a3f531cab6ecdf7f434d2be30/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1987}, editor = {Forbus, Kenneth D. and Shrobe, Howard E.}, ee = {http://www.aaai.org/Library/AAAI/1987/aaai87-033.php}, interhash = {55ea28c6d0998395c4206d4bb8ccd5ef}, intrahash = {f4d19d0a3f531cab6ecdf7f434d2be30}, keywords = {dblp}, pages = {183-189}, publisher = {Morgan Kaufmann}, timestamp = {2024-04-10T14:54:18.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 }