%0 Journal Article %1 deKleer:86 %A de Kleer, Johan %D 1986 %J Artificial Intelligence %K atms ai eswc2007 %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-12-16T12:01:38.000+0100}, author = {de Kleer, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2f93a8f9e4ecae282d71b8f38f05b7dd1/lysander07}, interhash = {22b092ba7c1a024d2022752d9418925f}, intrahash = {f93a8f9e4ecae282d71b8f38f05b7dd1}, journal = {Artificial Intelligence}, keywords = {atms ai eswc2007}, pages = {127--224}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {1. An Assumption-based {\sc Tms}, 2. Extending the {\sc Atms}, 3. Problem solving with the {\sc Atms}}, volume = 28, year = 1986 }