{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T19:46:30Z","timestamp":1773690390894,"version":"3.50.1"},"reference-count":179,"publisher":"Association for Computing Machinery (ACM)","issue":"71","license":[{"start":{"date-parts":[[1980,4,1]],"date-time":"1980-04-01T00:00:00Z","timestamp":323395200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGART Bull."],"published-print":{"date-parts":[[1980,4]]},"abstract":"<jats:p>This article presents an overview of research in an area loosely called<jats:italic>belief revision.<\/jats:italic>Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the environment or acquisition of new information. In addition, belief revision research includes the study of methods for representing models of environments as collections of beliefs and the development of formal theories of belief. The bulk of the article consists of a descriptor-indexed bibliography of research addressing these topics. Our intention is that this bibliography serve both to introduce the interested researcher to this literature, and to capture the current state of the field. Towards this purpose, we begin with an overview of belief revision research.<\/jats:p>","DOI":"10.1145\/1056441.1056442","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"7-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["A selected descriptor-indexed bibliography to the literature on belief revision"],"prefix":"10.1145","author":[{"given":"Jon","family":"Doyle","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"London","sequence":"additional","affiliation":[{"name":"USC\/Information Sciences Institute, Marina del Rey, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1980,4]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"641","article-title":"Implicational molecules: a method for extracting meaning from input sentences","author":"Abelson R. P.","year":"1969","journal-title":"IJCAI-69"},{"key":"e_1_2_1_2_1","volume-title":"Computer Models of Thought and Language","author":"Abelson R. P.","year":"1973"},{"key":"e_1_2_1_3_1","volume-title":"Contemporary Aspects of Philosophy","author":"Belnap N. D.","year":"1975"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0101_2"},{"key":"e_1_2_1_6_1","volume-title":"The Unprovability of Consistency: An essay in model logic","author":"Boolos G.","year":"1979"},{"key":"e_1_2_1_8_1","volume-title":"Texas","author":"Brown F. M.","year":"1979"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3115\/982163.982166"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(78)90002-4"},{"key":"e_1_2_1_11_1","volume-title":"Artificial Intelligence Programming","author":"Charniak E.","year":"1979"},{"key":"e_1_2_1_12_1","volume-title":"Theory of Knowledge","author":"Chisolm R. M.","year":"1966"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"Clark K. L.","year":"1978"},{"key":"e_1_2_1_15_1","first-page":"319","article-title":"Dialogues between humans and an artificial berlief system","volume":"69","author":"Colby K. M.","year":"1969","journal-title":"IJCAI"},{"key":"e_1_2_1_16_1","first-page":"251","volume-title":"Computer Models of Thought and Language","author":"Colby K. M.","year":"1973"},{"key":"e_1_2_1_17_1","first-page":"2","article-title":"a graphical proof procedure for the first-order predicate calculus, Department of Computer Science, University of Waterloo","volume":"77","author":"Cox P. T.","year":"1977","journal-title":"Technical Report Report CS-"},{"key":"e_1_2_1_18_1","first-page":"20","article-title":"Locating the source of unification failure","author":"Cox P. T.","year":"1978","journal-title":"CSCSI-78"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1086\/288835"},{"key":"e_1_2_1_21_1","volume-title":"Department of Al","author":"Daniel L.","year":"1977"},{"key":"e_1_2_1_22_1","first-page":"36","article-title":"Representing negation in a planner system","volume":"20","author":"Davies D. J. M.","year":"1974","journal-title":"AISB-74"},{"key":"e_1_2_1_23_1","first-page":"6","article-title":"Notes on the mathematics of non-monotonic logic","author":"Davis M.","year":"1980","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_25_1","first-page":"321","article-title":"Interactive transfer of expertise: acquisition of new inference rules","author":"Davis R.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-737550-2.50010-5"},{"key":"e_1_2_1_27_1","volume-title":"Knowledge Based Systems in Artificial Intelligence: Two case studies","author":"Davis R.","year":"1980"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/800228.806940"},{"key":"e_1_2_1_33_1","first-page":"197","article-title":"The origin and resolution of ambiguities in causal arguments","author":"de Kleer J.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_35_1","volume-title":"Bradford Books","author":"Dennett D. C.","year":"1978"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"e_1_2_1_41_1","unstructured":"{Doyle 79b} Doyle J. \"Historical Annotations and Humble Databases \" submitted to ACM SIGMOD Record 1979. &lt;2.5&gt; &lt;7.1&gt; &lt;7.6&gt;. {Doyle 79b} Doyle J. \"Historical Annotations and Humble Databases \" submitted to ACM SIGMOD Record 1979. &lt;2.5&gt; &lt;7.1&gt; &lt;7.6&gt;."},{"key":"e_1_2_1_43_1","first-page":"1075","article-title":"Subjective bayesian methods for rule-based inference systems","volume":"45","author":"Duda R. O.","year":"1976","journal-title":"AFIPS Conference Proceedings"},{"key":"e_1_2_1_44_1","volume-title":"British Academy","author":"Dummett M. A. E.","year":"1973"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(74)90008-3"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(74)90002-2"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0102_2"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622876.1622939"},{"key":"e_1_2_1_50_1","volume-title":"North-Holland","author":"Fikes R. E.","year":"1972"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(72)90051-3"},{"key":"e_1_2_1_52_1","first-page":"99","article-title":"Deductive retrieval mechanisms for state description models","author":"Fikes R. E.","year":"1975","journal-title":"IJCAI-75"},{"key":"e_1_2_1_53_1","volume-title":"SRI International","author":"Fikes R. E., A","year":"1980"},{"key":"e_1_2_1_54_1","first-page":"165","article-title":"Maximal consistent interpretations of errorful data in hierarchically modeled domains","author":"Fox M. S.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(76)80027-2"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(79)80039-5"},{"key":"e_1_2_1_59_1","first-page":"865","volume-title":"12th Allerton Conf. on Circuit and System Theory","author":"Gaschnig J.","year":"1974"},{"key":"e_1_2_1_60_1","first-page":"457","article-title":"A general backtrack algorithm that eliminates most redundant tests","author":"Gaschnig J.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_61_1","first-page":"268","article-title":"Experimental case studies of backtrack vs. Waltz-type vs. new algorithms for satisficing assignment problems","author":"Gaschnig J.","year":"1978","journal-title":"CSCSI-78"},{"key":"e_1_2_1_63_1","first-page":"34","article-title":"Commenting Proofs","author":"Geiser J. R.","year":"1975","journal-title":"IJCAI-75"},{"key":"e_1_2_1_64_1","first-page":"41","volume-title":"Statistical Inference, and Statistical Theories of Science","author":"Giles R.","year":"1976"},{"key":"e_1_2_1_65_1","volume-title":"Reasoning and natural explanations","author":"Goguen J. A.","year":"1980"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(75)90003-X"},{"key":"e_1_2_1_68_1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1111\/j.2517-6161.1952.tb00104.x","article-title":"Rational decisions","volume":"14","author":"Good I. J.","year":"1952","journal-title":"Journal of the Royal Statistical Society B"},{"key":"e_1_2_1_69_1","first-page":"12","article-title":"A causal calculus","volume":"11","author":"Good I. J.","year":"1961","journal-title":"British Journal for the Philosophy of Science"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/19.2.123"},{"key":"e_1_2_1_71_1","first-page":"139","article-title":"Dynamic probability, computer chess, and the measurement of knowledge,\" in E. W. Elcock and D. Michie (ed.)","volume":"8","author":"Good I. J.","year":"1977","journal-title":"Machine Intelligence"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1977.0069"},{"key":"e_1_2_1_73_1","first-page":"3","volume-title":"{Goodman 73} Goodman, N., \"The problem of counterfactual conditionals,\" in Fact, Fiction, and Forecast","year":"1973"},{"key":"e_1_2_1_74_1","first-page":"3","author":"Griffiths A. P.","year":"1967","journal-title":"London"},{"key":"e_1_2_1_75_1","volume-title":"American Society of Information Sciences","author":"Gumb M. A.","year":"1978"},{"key":"e_1_2_1_76_1","first-page":"13","article-title":"Computational aspects of evolving theories","author":"Gumb R. D.","year":"1978","journal-title":"ACM SIGART Newsletter, (67)"},{"key":"e_1_2_1_77_1","volume-title":"Haven","author":"Gumb R. D.","year":"1979"},{"key":"e_1_2_1_78_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"Haack S.","year":"1978"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(77)80011-4"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(78)80031-5"},{"key":"e_1_2_1_81_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66943-9","volume-title":"Mechanizing Hypothesis Formation - Mathematical Foundations of a General Theory","author":"Hajek P.","year":"1978"},{"key":"e_1_2_1_82_1","first-page":"356","article-title":"Increasing tree search efficiency for constraint satisfaction problems","author":"Haralick R. M.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_83_1","volume-title":"Princeton University Press","author":"Harman G.","year":"1973"},{"key":"e_1_2_1_84_1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-94-010-1853-1_5","volume-title":"Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science","author":"Harper W. L.","year":"1976"},{"key":"e_1_2_1_86_1","first-page":"143","article-title":"A stochastic approach to robot plan formation","volume":"14","author":"Havel I. M.","year":"1978","journal-title":"Kybernetika"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-737550-2.50034-8"},{"key":"e_1_2_1_88_1","first-page":"533","volume-title":"Machine Intelligence 5","author":"Hayes P. J.","year":"1970"},{"key":"e_1_2_1_89_1","first-page":"495","volume-title":"Machine Intelligence 6","author":"Hayes P. J.","year":"1971"},{"key":"e_1_2_1_90_1","volume-title":"Josey-Bass","author":"Hayes P. J.","year":"1973"},{"key":"e_1_2_1_91_1","first-page":"79","article-title":"Some problems and non-problems in representation theory","volume":"63","author":"Hayes P. J.","year":"1974","journal-title":"AISB-74"},{"key":"e_1_2_1_92_1","first-page":"181","article-title":"A representation for robot plans","author":"Hayes P. J.","year":"1975","journal-title":"IJCAI-75"},{"key":"e_1_2_1_93_1","volume-title":"Department of Computer Science","author":"Hayes P. J.","year":"1977"},{"key":"e_1_2_1_94_1","volume-title":"Philosophy of Natural Science","author":"Hempel C.","year":"1966"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(73)90010-6"},{"key":"e_1_2_1_97_1","first-page":"189","article-title":"How to use what you know","author":"Hewitt C. E.","year":"1975","journal-title":"IJCAI-75"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312818"},{"key":"e_1_2_1_99_1","first-page":"6","author":"Hintikka J.","year":"1962","journal-title":"Ithica"},{"key":"e_1_2_1_100_1","first-page":"17","article-title":"Information storage and retrieval systems with incomplete information I","author":"Jaegermann M.","year":"1978","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_1_101_1","first-page":"47","volume-title":"Conf. on Computational Linguistics","author":"Joshi A. K.","year":"1975"},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.3115\/980190.980216"},{"key":"e_1_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-737550-2.50016-6"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90015-7"},{"key":"e_1_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1145\/360032.360048"},{"key":"e_1_2_1_106_1","first-page":"490","article-title":"ETHER - a parallel problem solving, system","author":"Kornfeld W. A.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_107_1","volume-title":"MIT","year":"1979"},{"key":"e_1_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5_4"},{"key":"e_1_2_1_109_1","first-page":"53","article-title":"A note on deduction rules with negative premises","author":"Kramosil I.","year":"1975","journal-title":"IJCAI-75"},{"key":"e_1_2_1_110_1","first-page":"111","article-title":"On the kind of data needed for a theory of proofs,\" in R. Gandy and M. Hyland (ed.)","volume":"76","author":"Kreisel G.","year":"1977","journal-title":"Logic Colloquium"},{"key":"e_1_2_1_111_1","volume-title":"The Structure of Scientific Revolutions","author":"Kuhn T.","year":"1962"},{"key":"e_1_2_1_112_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations: the logic of mathematical discovery","author":"Lakatos I.","year":"1976"},{"key":"e_1_2_1_114_1","first-page":"508","article-title":"Failure processing in a system for designing complex assemblies","author":"Latombe J.-C.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.2307\/2024435"},{"key":"e_1_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00413627"},{"key":"e_1_2_1_117_1","first-page":"295","volume-title":"Induction, Probability, and Confirmation","author":"Lehrer K.","year":"1975"},{"key":"e_1_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90024-8"},{"key":"e_1_2_1_119_1","volume-title":"Department of Computer Science","author":"Levesque H. J.","year":"1979"},{"key":"e_1_2_1_120_1","first-page":"8","author":"Lewis D.","year":"1973","journal-title":"Cambridge"},{"key":"e_1_2_1_121_1","first-page":"120","volume-title":"Proc. 3rd Int. Symp. on Automata, Languages and Programming","author":"Lipski W. Jr.","year":"1976"},{"key":"e_1_2_1_122_1","first-page":"374","volume-title":"Proc. Symp. on Mathematical Foundations of Computer Science","author":"Lipski W. Jr.","year":"1977"},{"key":"e_1_2_1_124_1","first-page":"263","article-title":"A dependency-based modelling mechanism for problem solving","volume":"47","author":"London P. E.","year":"1978","journal-title":"AFIPS Conference Proceedings"},{"key":"e_1_2_1_127_1","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-94-010-1853-1_7","volume-title":"Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science","author":"May S.","year":"1976"},{"key":"e_1_2_1_129_1","volume-title":"EECS","author":"McAllester D. A.","year":"1979"},{"key":"e_1_2_1_131_1","first-page":"403","volume-title":"Semantic Information Processing","author":"McCarthy J.","year":"1968"},{"key":"e_1_2_1_132_1","first-page":"463","volume-title":"Some philosophical problems from the standpoint of artificial intelligence,\" in B","author":"McCarthy J.","year":"1969"},{"key":"e_1_2_1_133_1","first-page":"1033","article-title":"Epistemological problems of artificial intelligence","author":"McCarthy J.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_134_1","first-page":"4","article-title":"Circumscription: a form of non-monotonic reasoning","volume":"16","author":"McCarthy J.","year":"1980","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_139_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0202_1"},{"key":"e_1_2_1_140_1","first-page":"221","article-title":"The last survey of knowledge representation","volume":"206","author":"McDermott D.","year":"1978","journal-title":"AISB-78"},{"key":"e_1_2_1_142_1","volume-title":"Non-monotonic logic I (extended abstract),\" in Fourth Workshop on Automated Deduction","author":"McDermott D.","year":"1979"},{"key":"e_1_2_1_143_1","first-page":"562","article-title":"An introduction to non-monotonic logic","author":"McDermott D.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_145_1","first-page":"406","volume-title":"Computers and Thought","author":"Minsky M.","year":"1961"},{"key":"e_1_2_1_146_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/014\/9960"},{"key":"e_1_2_1_147_1","first-page":"425","volume-title":"mind, and models,\" in M","author":"Minsky M.","year":"1965"},{"key":"e_1_2_1_148_1","volume-title":"The Psychology of Computer Vision","author":"Minsky M.","year":"1975"},{"key":"e_1_2_1_151_1","first-page":"223","article-title":"Reasoning about knowledge and action","author":"Moore R. C.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_155_1","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321858"},{"key":"e_1_2_1_156_1","volume-title":"Backtracking intelligently in AND\/OR trees","author":"Pereira L. M.","year":"1979"},{"key":"e_1_2_1_158_1","volume-title":"Harvard University Press","author":"Quine W. V.","year":"1953"},{"key":"e_1_2_1_159_1","volume-title":"Philosophy of Logic","author":"Quine W. V.","year":"1970"},{"key":"e_1_2_1_160_1","volume-title":"The Web of Belief","author":"Quine W. V.","year":"1978"},{"key":"e_1_2_1_161_1","first-page":"159","volume-title":"Artificial Intelligence and Heuristic Programming","author":"Raphael BN.","year":"1971"},{"key":"e_1_2_1_162_1","volume-title":"The Thinking Computer Mind Inside Matter","author":"Raphael B.","year":"1976"},{"key":"e_1_2_1_163_1","doi-asserted-by":"publisher","DOI":"10.3115\/980262.980297"},{"key":"e_1_2_1_164_1","volume-title":"Logic and Data Bases","author":"Reiter R.","year":"1978"},{"key":"e_1_2_1_165_1","doi-asserted-by":"publisher","DOI":"10.5555\/42641.42646"},{"key":"e_1_2_1_166_1","first-page":"1","author":"Rescher N.","year":"1964","journal-title":"Amsterdam"},{"key":"e_1_2_1_168_1","first-page":"2","article-title":"One system for two tasks: A commonsense algorithm memory that solves problems and comprehends language","author":"Rieger C.","year":"1976","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_170_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0364-0213(77)80022-0"},{"key":"e_1_2_1_171_1","first-page":"487","article-title":"Subgoal protection and unravelling during plan Synthesis","author":"Rieger C.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_172_1","first-page":"2","article-title":"The declarative representation and procedural simulation of causality in physical mechanisms","author":"Rieger C.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_174_1","first-page":"1","article-title":"SLEUTH: an intelligent noticer","author":"Rosenberg S.","year":"1978","journal-title":"CSCSI-78"},{"key":"e_1_2_1_175_1","first-page":"735","article-title":"Reasoning in incomplete domains","author":"Rosenberg S.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_176_1","volume-title":"Department of Computer and Information Science","author":"Rosenschein S. J.","year":"1975"},{"key":"e_1_2_1_177_1","first-page":"4","article-title":"How does a system know when to stop inferencing","author":"Rosenschein S. J.","year":"1976","journal-title":"American Journal of Computational Linguistics, (Microfiche 36)"},{"key":"e_1_2_1_178_1","volume-title":"of the Sloan Workshop on Computational Aspects of Linguistic Structure and Discourse Setting","author":"Rosenschein S. J.","year":"1979"},{"key":"e_1_2_1_180_1","first-page":"201","article-title":"A language for writing problem-solving programs","volume":"71","author":"Rulifson J. F.","year":"1972","journal-title":"IFIP"},{"key":"e_1_2_1_181_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-737550-2.50011-7"},{"key":"e_1_2_1_182_1","first-page":"738","article-title":"A semantic network of production rules in a system for describing computer structures","author":"Rychener M. D.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_183_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(74)90026-5"},{"key":"e_1_2_1_184_1","volume-title":"A Structure for Plans and Behavior","author":"Sacerdoti E. D.","year":"1977"},{"key":"e_1_2_1_185_1","first-page":"1077","article-title":"Problem solving tactics","author":"Sacerdoti E. D.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_186_1","first-page":"195","volume-title":"Machine Intelligence 7","author":"Sandewall E.","year":"1972"},{"key":"e_1_2_1_187_1","first-page":"744","article-title":"Biological software","author":"Sandewall E.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_188_1","first-page":"480","article-title":"Plan recognition using a hypothesize and revise paradigm: an example","author":"Schmidt C. F.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_189_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(78)90012-7"},{"key":"e_1_2_1_190_1","first-page":"778","article-title":"Problems with Parts","author":"Schubert L. K.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_191_1","first-page":"308","article-title":"Representing actions by state logic","volume":"304","author":"Schwind C. B.","year":"1978","journal-title":"AISB-78"},{"key":"e_1_2_1_192_1","first-page":"443","volume-title":"Theories of History","author":"Scriven M.","year":"1959"},{"key":"e_1_2_1_193_1","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"Shafer R.","year":"1976"},{"key":"e_1_2_1_195_1","first-page":"329","article-title":"Dependency directed reasoning in the analysis of programs which modify complex data structures","author":"Shrobe H. E.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_196_1","unstructured":"{Shrobe 79c} Shrobe H. E. \"Explicit control of reasoning in the programmer's apprentice \" in Fourth Workshop on Automated Deduction pp. 97--102 Austin Texas 1979. &lt;2.5&gt; &lt;3.3&gt; &lt;4.2&gt; &lt;7.10&gt;. {Shrobe 79c} Shrobe H. E. \"Explicit control of reasoning in the programmer's apprentice \" in Fourth Workshop on Automated Deduction pp. 97--102 Austin Texas 1979. &lt;2.5&gt; &lt;3.3&gt; &lt;4.2&gt; &lt;7.10&gt;."},{"key":"e_1_2_1_197_1","doi-asserted-by":"publisher","DOI":"10.1086\/288105"},{"key":"e_1_2_1_198_1","volume-title":"Choice and Chance: An Introduction to Inductive Logic","author":"Skyrms B.","year":"1966"},{"key":"e_1_2_1_199_1","first-page":"8","author":"Sosa E.","year":"1975","journal-title":"London"},{"key":"e_1_2_1_201_1","first-page":"333","article-title":"The frame and focus problems in Al: discussion in relation to the BELIEVER system","volume":"322","author":"Sridharan N. S.","year":"1976","journal-title":"AISB-76"},{"key":"e_1_2_1_202_1","first-page":"265","article-title":"Representation of actions that have side-effects","author":"Sridharan N. S.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_203_1","volume-title":"Knowledge-directed inference in BELIEVER,\" in D","author":"Sridharan N. S.","year":"1978"},{"key":"e_1_2_1_204_1","first-page":"275","article-title":"Error recovery in robots through failure reason analysis","volume":"47","author":"Srinivas S.","year":"1978","journal-title":"AFIPS Conference Proceedings"},{"key":"e_1_2_1_205_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674621"},{"key":"e_1_2_1_206_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"e_1_2_1_210_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(76)90002-3"},{"key":"e_1_2_1_211_1","first-page":"278","article-title":"Incidental and state-dependent phenomena in problem solving","volume":"266","author":"Stepankova O.","year":"1976","journal-title":"AISB-78"},{"key":"e_1_2_1_212_1","first-page":"339","article-title":"Planning in uncertain environments through situation calculus","volume":"330","author":"Stepankova O.","year":"1978","journal-title":"AISB-76"},{"key":"e_1_2_1_214_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1141-9_13"},{"key":"e_1_2_1_216_1","first-page":"1171","article-title":"From PLANNER to CONNIVER - a genetic approach","author":"Sussman G. J.","year":"1972","journal-title":"Proc. AFIPS FJCC"},{"key":"e_1_2_1_217_1","volume-title":"A Computer Model of Skill Acquisition","author":"Sussman G. J.","year":"1975"},{"key":"e_1_2_1_218_1","first-page":"865","article-title":"Heuristic techniques in computer-aided circuit analysis","volume":"857","author":"Sussman G. J.","year":"1975","journal-title":"IEEE Transactions on Circuits and Systems CAS-22"},{"key":"e_1_2_1_219_1","first-page":"894","article-title":"Electrical design: a problem for artificial intelligence research","author":"Sussman G. J.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_223_1","first-page":"888","article-title":"Generating project networks","author":"Tate A.","year":"1977","journal-title":"IJCAI-77"},{"key":"e_1_2_1_224_1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-94-010-1853-1_9","volume-title":"Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science","author":"Teller P.","year":"1976"},{"key":"e_1_2_1_225_1","first-page":"877","article-title":"Network truth maintenance for deduction and modelling","author":"Thompson A.","year":"1979","journal-title":"IJCAI-79"},{"key":"e_1_2_1_226_1","doi-asserted-by":"publisher","DOI":"10.1080\/00401706.1960.10489909"},{"key":"e_1_2_1_227_1","volume-title":"Counterfactuals without possible worlds","author":"Turner R.","year":"1978"},{"key":"e_1_2_1_228_1","volume-title":"Machine Intelligence","author":"Waldinger R.","year":"1977"},{"key":"e_1_2_1_229_1","unstructured":"{Waterman 75} Waterman D. A. \"Adaptive production systems \" in IJCAI-75 pp. 296--303 975. &lt;1.4&gt; &lt;2.4&gt; &lt;7.5&gt;. {Waterman 75} Waterman D. A. \"Adaptive production systems \" in IJCAI-75 pp. 296--303 975. &lt;1.4&gt; &lt;2.4&gt; &lt;7.5&gt;."},{"key":"e_1_2_1_232_1","volume-title":"McGraw-Hill","author":"Winston P. H.","year":"1975"},{"key":"e_1_2_1_233_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(78)80010-1"},{"key":"e_1_2_1_234_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485052"},{"key":"e_1_2_1_235_1","first-page":"1004","article-title":"Approximate reasoning based on fuzzy logic","author":"Zadeh L.","year":"1979","journal-title":"IJCAI-79"}],"container-title":["ACM SIGART Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056441.1056442","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056441.1056442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:41Z","timestamp":1750262861000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056441.1056442"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,4]]},"references-count":179,"journal-issue":{"issue":"71","published-print":{"date-parts":[[1980,4]]}},"alternative-id":["10.1145\/1056441.1056442"],"URL":"https:\/\/doi.org\/10.1145\/1056441.1056442","relation":{},"ISSN":["0163-5719"],"issn-type":[{"value":"0163-5719","type":"print"}],"subject":[],"published":{"date-parts":[[1980,4]]},"assertion":[{"value":"1980-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}