{"id":"https://openalex.org/W2127153241","doi":null,"title":"Mathematical logic in artificial intelligence","display_name":"Mathematical logic in artificial intelligence","publication_year":1989,"publication_date":"1989-01-03","ids":{"openalex":"https://openalex.org/W2127153241","mag":"2127153241"},"language":"de","primary_location":{"id":"mag:2127153241","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=66750","pdf_url":null,"source":{"id":"https://openalex.org/S4306463997","display_name":"The MIT Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718","https://openalex.org/P4310316440"],"host_organization_lineage_names":["The MIT Press","Massachusetts Institute of Technology"],"type":"ebook platform"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"MIT Press eBooks","raw_type":null},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001232416","display_name":"John McCarthy","orcid":"https://orcid.org/0000-0003-2878-1921","observed_orcids":["https://orcid.org/0000-0003-2878-1921","https://orcid.org/0000-0002-8903-6573","https://orcid.org/0000-0001-6356-4266"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"John McCarthy","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8903-6573","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5001232416"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.16,"has_fulltext":false,"cited_by_count":77,"citation_normalized_percentile":{"value":0.85416667,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"297","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13904","display_name":"Artificial Intelligence Applications","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"mathematical logic","score":0.9800000190734863},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"artificial intelligence","score":0.9279999732971191},{"id":"https://openalex.org/keywords/logical-inference","display_name":"logical inference","score":0.9449999928474426},{"id":"https://openalex.org/keywords/logical-language","display_name":"logical language","score":0.5669999718666077},{"id":"https://openalex.org/keywords/axioms","display_name":"axioms","score":0.925000011920929},{"id":"https://openalex.org/keywords/formal-languages","display_name":"formal languages","score":0.4259999990463257},{"id":"https://openalex.org/keywords/knowledge-representation","display_name":"knowledge representation","score":0.5870000123977661},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"automated reasoning","score":0.5979999899864197},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"foundations of mathematics","score":0.722000002861023}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6941587328910828},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.6219576001167297},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5891373157501221},{"id":"https://openalex.org/C172347087","wikidata":"https://www.wikidata.org/wiki/Q3217196","display_name":"Language of mathematics","level":2,"score":0.5233094692230225},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.5229173898696899},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.45482873916625977},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4321020245552063},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.420744389295578},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40040475130081177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3819867670536041},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31186652183532715},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2660549283027649},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.13031110167503357},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2127153241","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=66750","pdf_url":null,"source":{"id":"https://openalex.org/S4306463997","display_name":"The MIT Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718","https://openalex.org/P4310316440"],"host_organization_lineage_names":["The MIT Press","Massachusetts Institute of Technology"],"type":"ebook platform"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"MIT Press eBooks","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1953527632","https://openalex.org/W4243782837","https://openalex.org/W1527077225","https://openalex.org/W6992475096","https://openalex.org/W4394906694","https://openalex.org/W109220837","https://openalex.org/W4242101874","https://openalex.org/W7111603796","https://openalex.org/W7095146775","https://openalex.org/W2178394611"],"abstract_inverted_index":{"This":[0],"article":[1],"concerns":[2],"computer":[3,153],"programs":[4,154],"that":[5,79,155],"represent":[6],"information":[7,94],"about":[8,95],"their":[9,28,98],"problem":[10],"domains":[11],"in":[12,88,168],"mathematical":[13,42,110],"logical":[14,18,171],"languages":[15],"and":[16,44,66,97,100,163,183,209,222],"use":[17],"inference":[19],"to":[20,26,85,203],"decide":[21,156],"what":[22,60,67,121,137,157,164],"actions":[23],"are":[24,38,77,125,145,161,166],"appropriate":[25],"achieve":[27],"goals.":[29],"Mathematical":[30,173,197],"logic":[31,111,174,198],"is":[32,56],"not":[33,50],"a":[34,47,89,169],"single":[35],"language.":[36,53,172],"There":[37],"many":[39],"kinds":[40,108],"of":[41,105,109,123,128,139,152,159,180,194,207],"logic,":[43],"even":[45],"choosing":[46],"kind":[48],"does":[49],"specify":[51],"the":[52,81,103,129,150,191,195,205],"The":[54,74],"language":[55],"determined":[57],"by":[58],"declaring":[59],"nonlogical":[61,75],"symbols":[62,76,124,160],"will":[63,69],"be":[64,70,86,118,134],"used":[65],"sentences":[68,162],"taken":[71],"as":[72],"axioms.":[73],"those":[78],"concern":[80],"concrete":[82],"subject":[83],"matter":[84],"stored":[87],"computer's":[90],"data":[91],"base?for":[92],"example,":[93],"objects":[96],"locations":[99],"motions.":[101],"Whatever":[102],"choice":[104],"symbols,":[106],"all":[107],"share":[112],"two":[113],"ideas.":[114],"First,":[115],"it":[116,132,211],"must":[117,133],"mathematically":[119,135],"definite":[120,136],"strings":[122],"considered":[126],"formulas":[127,141],"logic.":[130],"Second,":[131],"inferences":[138,165],"new":[140],"from":[142,190],"old":[143],"ones":[144],"allowed.":[146],"These":[147],"ideas":[148],"permit":[149],"writing":[151],"combinations":[158],"allowed":[167],"particular":[170],"has":[175,199,212],"become":[176],"an":[177],"important":[178],"branch":[179],"mathe":[181],"matics,":[182],"most":[184],"logicians":[185],"work":[186],"on":[187],"problems":[188],"arising":[189],"internal":[192],"development":[193],"subject.":[196],"also":[200],"been":[201],"applied":[202],"studying":[204],"foundations":[206],"mathematics,":[208],"there":[210],"had":[213],"its":[214],"greatest":[215],"success.":[216],"Its":[217],"founders,":[218],"Aristotle,":[219],"Leibniz,":[220],"Boole,":[221]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2016-06-24T00:00:00"}