{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T10:28:10Z","timestamp":1714645690598},"reference-count":23,"publisher":"Elsevier","isbn-type":[{"value":"9780124500105","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1016\/b978-0-12-450010-5.50011-6","type":"book-chapter","created":{"date-parts":[[2012,12,3]],"date-time":"2012-12-03T06:21:22Z","timestamp":1354515682000},"page":"73-89","source":"Crossref","is-referenced-by-count":0,"title":["Ascribing Artificial Intelligence to (Simpler) Machines, or When AI Meets the Real World"],"prefix":"10.1016","author":[{"given":"Robert E.","family":"Filman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib1","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0004-3702(87)90002-6","article-title":"Network-Based Heuristics for Constraint Satisfaction Problems","volume":"34","author":"Dechter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An Assumption-Based Truth Maintenance System","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A Truth Maintenance System","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib4","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1145\/4284.4285","article-title":"The Role of Frame-Based Representation in Reasoning","volume":"28","author":"Fikes","year":"1985","journal-title":"Comm. ACM"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib5","unstructured":"R. Fikes, R. Nado, R. Filman, P. McBride, P. Morris, A. Paulson, R. Treitel, and M. Yonke, OPUS: A New Generation Knowledge Engineering Environment: Phase 1 Final Report, IntelliCorp, Mountain View, California (1987)."},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib6","doi-asserted-by":"crossref","unstructured":"R. E. Filman, Retrofitting Objects, in: Proc. ACM Conf. on Object Oriented Programming Systems, Languages, and Applications, Orlando, Florida (1987), 342\u2013353.","DOI":"10.1145\/38807.38838"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib7","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/42404.42405","article-title":"Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environment","volume":"31","author":"Filman","year":"1988","journal-title":"Comm. ACM"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib8","series-title":"New Generation Knowledge System Development Tools: Final Report","author":"Filman","year":"1989"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib9","first-page":"212","article-title":"An Application Development System for Expert Systems","volume":"3","author":"Kehler","year":"1984","journal-title":"Syst. Softw."},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib10","unstructured":"P. London, Dependency Networks as Representation for Modelling in General Problem Solvers, Technical Report 698, Department of Computer Science, University of Maryland (1978)."},{"key":"10.1016\/B978-0-12-450010-5.50011-6_ceotherref4","unstructured":"J. McCarthy, Programs with Common Sense, in: Mechanisation of Thought Processes, Proc. Symp. Nat. Phys. Lab., Her Majesty's Stationary Office, London (1958), Vol 1., 77\u201384. Reprinted in:"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_sbref8","series-title":"Semantic Information Processing","first-page":"403","year":"1968"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib12","series-title":"Philosophical Perspectives in Artificial Intelligence","first-page":"161","article-title":"Ascribing Mental Qualities to Machines","author":"McCarthy","year":"1979"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib13","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib14","series-title":"The Conniver Reference Manual, Memo 259","author":"McDermott","year":"1973"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib15","series-title":"New Generation Knowledge System Development Tools: Phase 2 Interim Report","author":"Mishelevich","year":"1988"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib16","unstructured":"P. H. Morris and R. A. Nado, Representing Actions with an Assumption-Based Truth Maintenance System, in: Proc. AAAI-86, Philadelphia (1986), 13\u201317."},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib17","unstructured":"R. Nado and R. Fikes, Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults, in: Proc. AAAI-87, Seattle (1987), 443\u2013448."},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib18","series-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Belief","author":"Pearl","year":"1988"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib19","series-title":"QA4: A Procedural Calculus for Intuitive Reasoning","author":"Rulifson","year":"1972"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib20","series-title":"Computer-Based Medical Consultations: MYCIN","author":"Shortliffe","year":"1976"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib21","series-title":"The Mathematics of Inheritance Systems","author":"Touretzky","year":"1986"},{"key":"10.1016\/B978-0-12-450010-5.50011-6_bib22","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prolegomena to a Theory of Mechanized Formal Reasoning","volume":"13","author":"Weyhrauch","year":"1980","journal-title":"Artificial Intelligence"}],"container-title":["Artificial and Mathematical Theory of Computation"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T10:51:09Z","timestamp":1562410269000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780124500105500116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9780124500105"],"references-count":23,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-450010-5.50011-6","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}