{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:28:33Z","timestamp":1725474513774},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650805"},{"type":"electronic","value":"9783540496564"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0095426","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T14:28:18Z","timestamp":1164378498000},"page":"31-53","source":"Crossref","is-referenced-by-count":1,"title":["The infinite variety of logics"],"prefix":"10.1007","author":[{"given":"John F.","family":"Sowa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"4_CR1","volume-title":"Semantic Entailment and Formal Derivability","author":"E. W. Beth","year":"1955","unstructured":"E. W. Beth. Semantic Entailment and Formal Derivability. North-Holland Publishing Co., Amsterdam, 1955."},{"key":"4_CR2","unstructured":"R. Carnap. Autobiography. In P. Schilpp, editor, The Philosophy of Rudolf Carnap, pages 3\u201384. Open Court Press, La Salle, IL????"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-3534-1","volume-title":"Einf\"uhrung in die symbolische Logik","author":"R. Carnap","year":"1954","unstructured":"R. Carnap. Einf\"uhrung in die symbolische Logik. Dover Publications, New York, 1954. translated as Introduction to Symbolic Logic and its Applications."},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. J. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2: 189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"4_CR5","first-page":"68","volume-title":"Untersuchungen \u00fcber das logische Schliessen I II","author":"G. Gentzen","year":"1935","unstructured":"G. Gentzen. Untersuchungen \u00fcber das logische Schliessen I II. North-Holland Publishing Co., Amsterdam, 1935. English translation in The Collected Papers of Gerhard Gentzen, pp. 68\u2013131."},{"key":"4_CR6","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3540634932_12","volume-title":"KI-97: Advances in Artificial Intelligence","author":"P. Gr\"unewald","year":"1997","unstructured":"P. Gr\"unewald. Causation and nonmonotonic temporal reasoning. In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in Artificial Intelligence, LNAI 1303, pages 159\u2013170. Springer Verlag, Berlin, 1997."},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33: 379\u2013412, 1987.","journal-title":"Artificial Intelligence"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3406\/lgge.1981.1884","volume":"64","author":"H. Kamp","year":"1981","unstructured":"H. Kamp. Events, discourse representations, and temporal references. Langages, 64: 39\u201364, 1981.","journal-title":"Langages"},{"key":"4_CR9","series-title":"AI Memo","first-page":"410","volume-title":"Semantic Information Processing","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy. Situations, actions, and causal laws. In M. Stanford AI Memo No. 2. Reprinted in Minsky, editor, Semantic Information Processing, pages 410\u2013418. MIT Press, Cambridge, MA, 1963."},{"key":"4_CR10","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Edinburgh University Press, 1969."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J. Pearl","year":"1986","unstructured":"J. Pearl. Fusion, propagation, and structuring in belief networks. Artificial Intelligence, 29: 241\u2013288, 1986.","journal-title":"Artificial Intelligence"},{"key":"4_CR12","volume-title":"Probabilistic Reasoning in Intelligent Systems","author":"J. Pearl","year":"1988","unstructured":"J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann Publishers, San Mateo, CA, 1988."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"180","DOI":"10.2307\/2369451","volume":"7","author":"C. S. Peirce","year":"1985","unstructured":"C. S. Peirce. On the algebra of logic. American Journal of Mathematics, 7: 180\u2013202, 1985.","journal-title":"American Journal of Mathematics"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(76)90001-1","volume":"7","author":"C. Rieger","year":"1976","unstructured":"C. Rieger. An organization of knowledge for problem solving and language comprehension. Artificial Intelligence, 7: 89\u2013127, 1976.","journal-title":"Artificial Intelligence"},{"key":"4_CR15","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of Charles S. Peirce","author":"D. D. Roberts","year":"1973","unstructured":"D. D. Roberts. The Existential Graphs of Charles S. Peirce. Mouton, The Hague, 1973."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine oriented logic based on the resolution principle. Journal of the ACM, 12: 23\u201341, 1965.","journal-title":"Journal of the ACM"},{"key":"4_CR17","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. F. Sowa","year":"1984","unstructured":"J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984."},{"key":"4_CR18","volume-title":"Knowledge Representation: Logical, Philosophical, and Computational Foundations","author":"J. F. Sowa","year":"1999","unstructured":"J. F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing Co., Pacific Grove, CA, 1999."},{"key":"4_CR19","volume-title":"Lectures on Linear Logic","author":"A. S. Troelstra","year":"1992","unstructured":"A. S. Troelstra. Lectures on Linear Logic. CSLI, Stanford, CA, 1992."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"E. R. Tufte. Visual Explanations: Images and Quantities, Evidence and Narrative. Graphics Press, 1997.","DOI":"10.1063\/1.168637"}],"container-title":["Lecture Notes in Computer Science","KI-98: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0095426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T20:42:43Z","timestamp":1683664963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0095426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650805","9783540496564"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0095426","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}