{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:34:22Z","timestamp":1743014062770,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":23,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658442477"},{"type":"electronic","value":"9783658442484"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-658-44248-4_11","type":"book-chapter","created":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T18:03:38Z","timestamp":1726509818000},"page":"139-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logikbasierte Wissensverarbeitung"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Benzm\u00fcller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,5]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9934-4","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof","author":"Peter Andrews","year":"2002","unstructured":"Peter Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Bd. 27. Applied Logic Series. Kluwer Academic Publishers, 2002."},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Christoph Benzm\u00fcller. \u201cSymbolic AI and G\u00f6del's Ontological Argument\u201d. In: Zygon: Journal of Religion and Science 57 (4 2022), S. 953\u2013962. https:\/\/doi.org\/10.1111\/zygo.12830.","DOI":"10.1111\/zygo.12830"},{"key":"11_CR3","first-page":"48","volume":"172","author":"Christoph Benzm\u00fcller","year":"2019","unstructured":"Christoph Benzm\u00fcller. \u201cUniversal (Meta-)Logical Reasoning: Recent Successes\u201d. In: Science of Computer Programming 172 (2019), S. 48\u201362. https:\/\/doi.org\/10.1016\/j.scico.2018.10.008.","journal-title":"In: Science of Computer Programming"},{"key":"11_CR4","unstructured":"Christoph Benzm\u00fcller und Peter Andrews. \u201cChurch's Type Theory\u201d. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta und Uri Nodelman. Winter 2022. Metaphysics Research Lab, Stanford University, 2022. https:\/\/plato.stanford.edu\/archives\/win2022\/entries\/type-theory-church."},{"key":"11_CR5","first-page":"103348","volume":"287","author":"Christoph Benzm\u00fcller","year":"2020","unstructured":"Christoph Benzm\u00fcller, Xavier Parent und Leendert van der Torre. \u201cDesigning Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support\u201d. In: Artificial Intelligence 287 (2020), S. 103348. issn: 0004-3702. https:\/\/doi.org\/10.1016\/j.artint.2020.103348.","journal-title":"In: Artificial Intelligence"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Christoph Benzm\u00fcller u. a. \u201cWho Finds the Short Proof?\u201d In: Logic Journal of the IGPL (2023). https:\/\/doi.org\/10.1093\/jigpal\/jzac082.","DOI":"10.1093\/jigpal\/jzac082"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Wolfgang Bibel. \u201cKomputer kreiert Wissenschaft\u201d. In: Informatik Spektrum (2022). https:\/\/doi.org\/10.1007\/s00287-022-01456-1.","DOI":"10.1007\/s00287-022-01456-1"},{"key":"11_CR8","unstructured":"Patrick Blackburn, Johan Bos und Kristina Striegnitz. Learn Prolog Now! Bd. 7. Texts in Computing. College Publications, 2006. Freie Online Version verf\u00fcgbar unter http:\/\/www.let.rug.nl\/bos\/lpn."},{"issue":"1","key":"11_CR9","first-page":"1","volume":"16","author":"George Boolos","year":"1987","unstructured":"George Boolos. \u201cA curious inference\u201d. In: J. Philos. Log. 16.1 (1987), S. 1\u201312. https:\/\/doi.org\/10.1007\/BF00250612.","journal-title":"In: J. Philos. Log."},{"key":"11_CR10","unstructured":"Walter Dean. \u201cComputational Complexity Theory\u201d. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Fall 2021. Metaphysics Research Lab, Stanford University, 2021."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Heinz-Dieter Ebbinghaus, J\u00f6rg Flum undWolfgang Thomas. Einf\u00fchrung in die mathematische Logik. Springer Spektrum Berlin, Heidelberg, 2018. https:\/\/doi.org\/10.1007\/978-3-662-58029-5.","DOI":"10.1007\/978-3-662-58029-5"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Melvin Fitting. First-Order Logic and Automated Theorem Proving. Texts in Computer Science. Springer New York, NY, 1996. https:\/\/doi.org\/10.1007\/978-1-4612-2360-3.","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"11_CR13","unstructured":"Dov M. Gabbay, Francis Pelletier und John Woods, Hrsg. Logic: A History of its Central Concepts. Handbook of the History of Logic. Elsevier, 2012."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Marijn J. H. Heule und Oliver Kullmann. \u201cThe science of brute force\u201d. In: Commun. ACM 60.8 (2017), S. 70\u201379. https:\/\/doi.org\/10.1145\/3107239.","DOI":"10.1145\/3107239"},{"key":"11_CR15","unstructured":"Neil Immerman. \u201cComputability and Complexity\u201d. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Winter 2021. Metaphysics Research Lab, Stanford University, 2021."},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Daniel Kirchner, Christoph Benzm\u00fcller und Edward N. Zalta. \u201cComputer Science and Metaphysics: A Cross-Fertilization\u201d. In: Open Philosophy 2.1 (2019). Hrsg. von Patrick Grim, S. 230\u2013251. https:\/\/doi.org\/10.1515\/opphil-2019-0015. url: https:\/\/arxiv.org\/abs\/1905.00787.","DOI":"10.1515\/opphil-2019-0015"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Graham Priest.AnIntroduction toNon-Classical Logic: FromIf to Is. 2.Aufl. Cambridge Introductions to Philosophy. Cambridge University Press, 2008. https:\/\/doi.org\/10.1017\/CBO9780511801174.","DOI":"10.1017\/CBO9780511801174"},{"key":"11_CR18","unstructured":"John Alan Robinson und Andrei Voronkov, Hrsg. Handbook of Automated Reasoning (in 2 volumes). Elsevier und MIT Press, 2001. url: https:\/\/www.sciencedirect.com\/book\/9780444508133\/handbook-of-automated-reasoning."},{"key":"11_CR19","unstructured":"Stewart Shapiro und Teresa Kouri Kissel. \u201cClassical Logic\u201d. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta und Uri Nodelman.Winter 2022. Metaphysics Research Lab, Stanford University, 2022. url: https:\/\/plato.stanford.edu\/archives\/win2022\/entries\/logic-classical."},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"G. Sutcliffe. \u201cThe Logic Languages of the TPTP World\u201d. In: Logic Journal of the IGPL (2022). https:\/\/doi.org\/10.1093\/jigpal\/jzac068.","DOI":"10.1093\/jigpal\/jzac068"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"163","DOI":"10.3233\/AIC-201566","volume":"34","author":"Geoff Sutcliffe","year":"2021","unstructured":"Geoff Sutcliffe. \u201cThe 10th IJCAR automated theorem proving system competition \u2013 CASC-J10\u201d. In: AI Commun. 34.2 (2021), S. 163\u2013177. https:\/\/doi.org\/10.3233\/AIC-201566.","journal-title":"In: AI Commun."},{"key":"11_CR22","unstructured":"Richmond Thomason. \u201cLogic and Artificial Intelligence\u201d. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Summer 2020. Metaphysics Research Lab, Stanford University, 2020. url: https:\/\/plato.stanford.edu\/archives\/sum2020\/entries\/logic-ai."},{"key":"11_CR23","unstructured":"Jouko V\u00e4\u00e4n\u00e4nen. \u201cSecond-order and Higher-order Logic\u201d. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Fall 2021. Metaphysics Research Lab, Stanford University, 2021. url: https:\/\/plato.stanford.edu\/archives\/fall2021\/entries\/logic-higher-order."}],"container-title":["ars digitalis","K\u00fcnstliche Intelligenz f\u00fcr Lehrkr\u00e4fte"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-44248-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T07:04:18Z","timestamp":1729753458000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-44248-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783658442477","9783658442484"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-44248-4_11","relation":{},"ISSN":["2662-5970","2662-5989"],"issn-type":[{"type":"print","value":"2662-5970"},{"type":"electronic","value":"2662-5989"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"5 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}