{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:43:51Z","timestamp":1725626631837},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151906"},{"type":"electronic","value":"9783642702839"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70283-9_1","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T13:45:55Z","timestamp":1319723155000},"page":"1-47","source":"Crossref","is-referenced-by-count":0,"title":["Inferenzmethoden"],"prefix":"10.1007","author":[{"given":"W.","family":"Bibel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/356914.356918","volume":"15","author":"D Angluin","year":"1984","unstructured":"Angluin, D., Smith, C. H.: Inductive inference: theory and methods. Computing surveys 15, 237\u2013269 (1984).","journal-title":"Computing surveys"},{"key":"1_CR2","volume-title":"A uniform approach to programming","author":"W Bibel","year":"1976","unstructured":"Bibel, W.: A uniform approach to programming. Report 7633, FB Mathematik, TUM (1976)."},{"key":"1_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90100-2","volume-title":"Automated theorem proving","author":"W Bibel","year":"1982","unstructured":"Bibel, W.: Automated theorem proving. Vieweg, Braunschweig (1982)."},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-68828-7_3","volume-title":"Proceedings der Fr\u00fchjahrsschule K\u00fcnstliche Intelligenz 1982","author":"W Bibel","year":"1982","unstructured":"Bibel, W.: Deduktionsverfahren. Proceedings der Fr\u00fchjahrsschule K\u00fcnstliche Intelligenz 1982 (W. Bibel et al., eds.), Fachberichte Informatik 59, Springer, Berlin 99\u2013140 (1982a)."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/182.183","volume":"26","author":"W Bibel","year":"1983","unstructured":"Bibel, W.: Matings in matrices. C.ACM 26, 844\u2013852 (1983).","journal-title":"C.ACM"},{"key":"1_CR6","volume-title":"Knowledge representation from a deductive point of view","author":"W Bibel","year":"1984","unstructured":"Bibel, W.: Knowledge representation from a deductive point of view. Proceedings of the I IFAC Symposium on Artificial Intelligence, Leningrad, USSR, October 1983 ( G. S. Pospelov, ed. ), Pergamon Press Ltd. (1984)."},{"key":"1_CR7","volume-title":"First-order reasoning about knowledge and belief","author":"W Bibel","year":"1984","unstructured":"Bibel, W.: First-order reasoning about knowledge and belief. Proceedings of the International Conference on Artificial Intelligence and Robotic Control Systems, Smolenice, CSSR, June 1984 (l. Plan- der, ed.) North-Holland, Amsterdam (1984a)."},{"key":"1_CR8","volume-title":"Automatic program construction techniques","author":"A Biermann","year":"1984","unstructured":"Biermann, A., Guiho, G. und Kodratoff, Y.: Automatic program construction techniques. MacMillan, New York (1984)."},{"key":"1_CR9","first-page":"153","volume-title":"Logic Pogramming","author":"KA Bowen","year":"1982","unstructured":"Bowen, K. A., Kowalski, R. A.: Amalgamating language and metalanguage in logic programming. Logic Pogramming (K. L. Clark et al., eds.), Academic Press, London, 153\u2013172 (1982)."},{"key":"1_CR10","volume-title":"Experimental logic and the automatic analysis of algorithms","author":"FM Brown","year":"1983","unstructured":"Brown, F. M.: Experimental logic and the automatic analysis of algorithms. TR-83-16, University of Texas at Austin, Dept. of Computer Science (1983)."},{"key":"1_CR11","first-page":"1158","volume-title":"The origin, form, and logic of qualitative physical laws, IJCAI-83","author":"JS Brown","year":"1983","unstructured":"Brown, J. S. und de Kleer, J.: The origin, form, and logic of qualitative physical laws, IJCAI-83 (A. Bundy, ed.), Kaufmann, Los Altos, 1158\u20131169 (1983)."},{"key":"1_CR12","volume-title":"Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal","author":"B Buchberger","year":"1965","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Dissertation, Universit\u00e4t Innsbruck (1965)."},{"key":"1_CR13","volume-title":"The computer modelling of mathematical reasoning","author":"A Bundy","year":"1983","unstructured":"Bundy, A.: The computer modelling of mathematical reasoning. Academic Press (1983)."},{"key":"1_CR14","volume-title":"Logic and data bases","author":"K Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Logic and data bases ( H. Gallaire et al., eds.), Plenum Press, New York (1978)."},{"key":"1_CR15","first-page":"323","volume-title":"The Handbook of Artificial Intelligence","author":"TG Dietterich","year":"1982","unstructured":"Dietterich, T. G.; London, R.; Clarkson, K. and Droney, R.: Learning and inductive inference. The Handbook of Artificial Intelligence (P. Cohen et al., eds.), Kaufmann, Los Altos, 323\u2013512 (1982)."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artifical Intelligence. 12, 231\u2013272 (1979).","journal-title":"Artifical Intelligence"},{"key":"1_CR17","first-page":"153","volume-title":"Expert systems in the micro-electronic age","author":"R Duda","year":"1979","unstructured":"Duda, R.; Gaschnig, J. und Hart, P. E.: Model design in the PROSPECTOR consultant system for mineral exploration. In: Expert systems in the micro-electronic age (D. Michie, ed.), Edinburgh Univ. Press, 153\u2013167 (1979)."},{"key":"1_CR18","volume-title":"A modeltheoretic analysis of knowledge","author":"R Fagin","year":"1984","unstructured":"Fagin, R.; Halpern, J. Y., Vardi, M. Y., A modeltheoretic analysis of knowledge. IBM Res. Lab., San Jose, CA (May 1984)."},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0020-0190(82)90085-0","volume":"14","author":"L Farinas del Cerro","year":"1982","unstructured":"Farinas del Cerro, L., A simple deduction method for modal logic. Information Processing Letters, 14, 49\u201351 (1982).","journal-title":"Information Processing Letters"},{"key":"1_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof methods for modal and intuitionistic logics","author":"M Fitting","year":"1983","unstructured":"Fitting, M.: Proof methods for modal and intuitionistic logics. Reidel, Dordrecht (1983)."},{"key":"1_CR21","first-page":"118","volume-title":"Logische Systeme und Rep\u00e4dsentationssysteme","author":"C Habel","year":"1983","unstructured":"Habel, C.: Logische Systeme und Rep\u00e4dsentationssysteme. GWAI-83 (B. Neumann, ed.), Springer, Berlin 118\u2013142, (1983)."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y., Moses, Y.: Towards a theory of knowledge and ignorance. IBM RJ, (April 1984).","DOI":"10.1007\/978-3-642-82453-1_16"},{"key":"1_CR23","volume-title":"An introduction to modal logic","author":"GE Hughes","year":"1968","unstructured":"Hughes, G. E., und Cresswell, M. J.: An introduction to modal logic. Methuen, London (1968)."},{"key":"1_CR24","first-page":"263","volume-title":"Computational problems in abstract algebra","author":"DE Knuth","year":"1970","unstructured":"Knuth, D. E., Bendix, P. B.: Simple word problems in universal algebras. Computational problems in abstract algebra (J. Leed, ed.), Pergamon Press, 263-297 (1970)."},{"key":"1_CR25","volume-title":"Logic for problem solving","author":"R Kowalski","year":"1979","unstructured":"Kowalski, R.: Logic for problem solving. North-Holland, New York (1979)."},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S Kripke","year":"1959","unstructured":"Kripke, S.: A completeness theorem in modal logic, J. Symb. Logic 24, 1\u201314 (1959).","journal-title":"J. Symb. Logic"},{"key":"1_CR27","series-title":"Americ. Phil. Quaterly Monograph Series","volume-title":"An introduction to modal logic","author":"E Lemmon","year":"1977","unstructured":"Lemmon, E.: An introduction to modal logic. Americ. Phil. Quaterly Monograph Series (1977)."},{"key":"1_CR28","doi-asserted-by":"crossref","DOI":"10.1525\/9780520398252","volume-title":"A survey of symbolic logic","author":"CI Lewis","year":"1918","unstructured":"Lewis, C. I.: A survey of symbolic logic. Univ. of California, Berkeley (1918)."},{"key":"1_CR29","volume-title":"Automated theorem proving","author":"DW Loveland","year":"1978","unstructured":"Loveland, D. W.: Automated theorem proving. North-Holland, Amsterdam (1978)."},{"key":"1_CR30","first-page":"1038","volume-title":"Epistemological problems of Artificial Intelligence","author":"J McCarthy","year":"1977","unstructured":"McCarthy, J.: Epistemological problems of Artificial Intelligence. IJCAI-77, W. Kaufmann,, Los Altos, 1038\u20131044 (1977)."},{"key":"1_CR31","first-page":"271","volume-title":"Expert systems in the micro-electronic age","author":"J McCarthy","year":"1979","unstructured":"McCarthy, J.: First-order theories of individual concepts and propositions. In: Expert systems in the micro-electronic age (D. Michie, ed.), Edinburgh Univ. Press, 271\u2013287 (1979)."},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artificial Intelligence 13, 27\u201339 (1980).","journal-title":"Artificial Intelligence"},{"key":"1_CR33","volume-title":"Applications of circumscription to formalizing common sense knowledge","author":"J McCarthy","year":"1984","unstructured":"McCarthy, J.: Applications of circumscription to formalizing common sense knowledge. Stanford University (1984)."},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D McDermott","year":"1980","unstructured":"McDermott, D., Doyle, J.: Non-monotonic logic I. Artificial Intelligence 13, 41\u201371 (1980).","journal-title":"Artificial Intelligence"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D McDermott","year":"1982","unstructured":"McDermott, D.: Non-monotonic Modal theories. JACM 29, 33\u201357 (1982).","journal-title":"JACM"},{"key":"1_CR36","volume-title":"Briefwechsel mit J. McCarthy und J. Barnden","author":"B Meitzer","year":"1982","unstructured":"Meitzer, B.: Briefwechsel mit J. McCarthy und J. Barnden. Unver\u00f6ffentlicht (1982\/83)."},{"key":"1_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12405-5","volume-title":"Machine learning","author":"RS Michalski","year":"1983","unstructured":"Michalski, R. S., Carboneil, J. G., und Mitchell, T. M., Machine learning. Tioga, Palo Alto (1983)."},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-0-387-34768-4_24","volume-title":"7th Conference on Automated Deduction","author":"J Minker","year":"1984","unstructured":"Minker, J., Perlis, D.: Applications of protected circumscription. 7th Conference on Automated Deduction (R. Shostak, ed.), Springer, Berlin, 414\u2013425 (1984)."},{"key":"1_CR39","volume-title":"Circumscription - Finitary completeness results","author":"J Minker","year":"1984","unstructured":"Minker, J., Perlis, D.: Circumscription - Finitary completeness results.Dept. computer Sc., Univ. of Maryland (1984a)."},{"key":"1_CR40","first-page":"223","volume-title":"Reasoning about knowledge and action","author":"RC Moore","year":"1977","unstructured":"Moore, R. C.: Reasoning about knowledge and action. IJCAI-77, Kaufmann, Los Altos, 223\u2013227 (1977)."},{"key":"1_CR41","first-page":"272","volume-title":"Semantical considerations on non-monotonic logic","author":"RC Moore","year":"1983","unstructured":"Moore, R. C.: Semantical considerations on non-monotonic logic. IJCAI- 83 (A. Bundy, ed.), Kaufmann, Los Altos, 272\u2013279 (1983)."},{"key":"1_CR42","volume-title":"Principles of artificial intelligence","author":"NJ Nilsson","year":"1980","unstructured":"Nilsson, N. J.: Principles of artificial intelligence. Tioga, Palo Alto (1980)."},{"key":"1_CR43","first-page":"130","volume-title":"A synthetic view of approximate reasoning techniques","author":"H Prade","year":"1983","unstructured":"Prade, H.: A synthetic view of approximate reasoning techniques. IJCAI-83 (A. Bundy, ed.), Kaufmann, Los Altos, 130\u2013136 (1983)."},{"key":"1_CR44","first-page":"137","volume-title":"Consistency and plausible reasoning","author":"JR Quinlan","year":"1983","unstructured":"Quinlan, J. R., Consistency and plausible reasoning. IJCAI-83 (A. Bundy, ed.), W. Kaufmann, Los Altos, 137\u2013144 (1983)."},{"key":"1_CR45","volume-title":"Logic and data bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Logic and data bases ( H. Gallaire et al., eds.), Plenum Press, New York (1978)."},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 18\u2013132 (1980).","journal-title":"Artificial Intelligence"},{"key":"1_CR47","volume-title":"On conceptual modelling: perspectives from artificial intelligence, databases and programming languages","author":"R Reiter","year":"1984","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: On conceptual modelling: perspectives from artificial intelligence, databases and programming languages ( M. Brodie et al., eds.), Springer, Berlin (1984)."},{"key":"1_CR48","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J. A.: A machine oriented logic based on the resolution principle. J.ACM 12, 23\u201341 (1965).","journal-title":"J.ACM"},{"key":"1_CR49","first-page":"446","volume-title":"An algorithm that infers theories from facts","author":"E Shapiro","year":"1981","unstructured":"Shapiro, E.: An algorithm that infers theories from facts. IJCAI-81, Kaufmann, Los Altos, 446\u2013451 (1981)."},{"key":"1_CR50","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/BFb0047125","volume-title":"7th International Conference on Automated Deduction","author":"ME Stickel","year":"1984","unstructured":"Stickel, M. E.: A case study of theorem proving by the Knuth-Bendix method discovering that x3=x implies ring commutativity. 7th International Conference on Automated Deduction (R. Shostak, ed.), Springer, Berlin 248\u2013258 (1984)."},{"key":"1_CR51","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08925-5","volume-title":"Naturlichsprachliche Argumentation in Dialogsystemen","author":"W Wahlster","year":"1981","unstructured":"Wahlster, W.: Naturlichsprachliche Argumentation in Dialogsystemen. Springer, Berlin (1981)."},{"key":"1_CR52","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"RW Weyrauch","year":"1980","unstructured":"Weyrauch, R. W: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence 13, 133-1970 (1980).","journal-title":"Artificial Intelligence"},{"key":"1_CR53","series-title":"Comp. & Maths, with Appls.","first-page":"149","volume-title":"A computational approach to fuzzy quantifiers in natural languages","author":"LA Zadeh","year":"1983","unstructured":"Zadeh, L. A.: A computational approach to fuzzy quantifiers in natural languages. Comp. & Maths, with Appls. 9, Pergamon Press, 149\u2013184 (1983)"}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70283-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T06:10:35Z","timestamp":1713075035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70283-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151906","9783642702839"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70283-9_1","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}