%0 Journal Article %1 Kleer1986a %A de Kleer, Johan %D 1986 %J Artificial Intelligence %K kiwi %P 28 %T Problem solving with the ATMS %V 28 %X An assumption-based truth maintenance system provides a very general facility for all types of default reasoning. However, the A TMS is only one component of an overall reasoning system. This paper presents a set of concerns for interfacing with the A TMS, an interface protocol, and an example of a constraint language based on the protocol; The paper concludes with a comparison of the A TMS and the view of problem solving it entails with other approaches.

@article{Kleer1986a, abstract = {An assumption-based truth maintenance system provides a very general facility for all types of default reasoning. However, the A TMS is only one component of an overall reasoning system. This paper presents a set of concerns for interfacing with the A TMS, an interface protocol, and an example of a constraint language based on the protocol; The paper concludes with a comparison of the A TMS and the view of problem solving it entails with other approaches.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {de Kleer, Johan}, biburl = {https://www.bibsonomy.org/bibtex/24ea56bfa70bb6195f952016280553c29/fraktalek}, citeulike-article-id = {3508839}, interhash = {21bf1f6c8a1f96456d1d076cab3731da}, intrahash = {4ea56bfa70bb6195f952016280553c29}, journal = {Artificial Intelligence}, keywords = {kiwi}, pages = 28, posted-at = {2008-11-13 14:13:58}, priority = {2}, timestamp = {2008-11-14T13:33:39.000+0100}, title = {Problem solving with the ATMS}, volume = 28, year = 1986 }