%0 Journal Article %1 deKleer:86 %A de Kleer, Johan %D 1986 %J Artificial Intelligence %K AI aia2007 atms %P 127--224 %T 1. An Assumption-based Tms, 2. Extending the Atms, 3. Problem solving with the Atms %V 28

@article{deKleer:86, added-at = {2006-10-23T17:25:28.000+0200}, author = {de Kleer, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2f93a8f9e4ecae282d71b8f38f05b7dd1/grahl}, interhash = {22b092ba7c1a024d2022752d9418925f}, intrahash = {f93a8f9e4ecae282d71b8f38f05b7dd1}, journal = {Artificial Intelligence}, keywords = {AI aia2007 atms}, pages = {127--224}, timestamp = {2007-07-24T17:29:19.000+0200}, title = {1. An Assumption-based {\sc Tms}, 2. Extending the {\sc Atms}, 3. Problem solving with the {\sc Atms}}, volume = 28, year = 1986 }