{"id":"https://openalex.org/W2218792248","doi":null,"title":"Knowledge Representation and Classical Logic","display_name":"Knowledge Representation and Classical Logic","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2218792248","mag":"2218792248"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.138.6023","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.6023","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utexas.edu/~vl/papers/Ch1.pdf","raw_type":"text"},"volume":null,"type":"article","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/A5076917986","display_name":"Vladimir Lifschitz","orcid":"https://orcid.org/0000-0001-6051-7907","observed_orcids":["https://orcid.org/0000-0001-6051-7907"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Vladimir Lifschitz and Leora Morgenstern and David Plaisted","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5076917986"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8615,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.87107351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"88"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.0,"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/knowledge-representation","display_name":"knowledge representation","score":0.9990000128746033},{"id":"https://openalex.org/keywords/classical-logic","display_name":"classical logic","score":0.9950000047683716},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.8349999785423279},{"id":"https://openalex.org/keywords/propositional-logic","display_name":"propositional logic","score":0.8489999771118164},{"id":"https://openalex.org/keywords/declarative-knowledge","display_name":"declarative knowledge","score":0.8500000238418579},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"automated reasoning","score":0.9599999785423279},{"id":"https://openalex.org/keywords/resolution-theorem-proving","display_name":"resolution theorem proving","score":0.6800000071525574},{"id":"https://openalex.org/keywords/history-of-logic","display_name":"history of logic","score":0.5839999914169312}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48815351724624634},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.44328737258911133},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4186114966869354},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.33343371748924255},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.18072277307510376},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.14618352055549622},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.138.6023","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.6023","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utexas.edu/~vl/papers/Ch1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.209.226","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.209.226","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-formal.stanford.edu/leora/Ch1-071707.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.399.4097","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.4097","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ii.fmph.uniba.sk/~sefranek/kri/handbook/chapter01.pdf","raw_type":"text"},{"id":"mag:2218792248","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.utexas.edu/~vl/papers/Ch1.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":245,"referenced_works":["https://openalex.org/W3649569","https://openalex.org/W14274997","https://openalex.org/W21270023","https://openalex.org/W26908971","https://openalex.org/W35258290","https://openalex.org/W44144289","https://openalex.org/W54340630","https://openalex.org/W55064848","https://openalex.org/W65854835","https://openalex.org/W68877015","https://openalex.org/W90191059","https://openalex.org/W105203805","https://openalex.org/W121595607","https://openalex.org/W122836976","https://openalex.org/W123527740","https://openalex.org/W137706893","https://openalex.org/W152800020","https://openalex.org/W155535615","https://openalex.org/W158485348","https://openalex.org/W160339868","https://openalex.org/W164169512","https://openalex.org/W196782186","https://openalex.org/W207393389","https://openalex.org/W598205067","https://openalex.org/W960765268","https://openalex.org/W1136193735","https://openalex.org/W1279140112","https://openalex.org/W1480260388","https://openalex.org/W1486980090","https://openalex.org/W1492581928","https://openalex.org/W1495283197","https://openalex.org/W1495396426","https://openalex.org/W1498722751","https://openalex.org/W1498785416","https://openalex.org/W1502047167","https://openalex.org/W1502083504","https://openalex.org/W1503170978","https://openalex.org/W1504112842","https://openalex.org/W1505839237","https://openalex.org/W1506399298","https://openalex.org/W1507112684","https://openalex.org/W1510333080","https://openalex.org/W1511652686","https://openalex.org/W1513576223","https://openalex.org/W1515991423","https://openalex.org/W1516218099","https://openalex.org/W1517155625","https://openalex.org/W1521083034","https://openalex.org/W1521250667","https://openalex.org/W1521419290","https://openalex.org/W1522134354","https://openalex.org/W1523712082","https://openalex.org/W1525412541","https://openalex.org/W1526414462","https://openalex.org/W1527110714","https://openalex.org/W1530302895","https://openalex.org/W1530765221","https://openalex.org/W1531543048","https://openalex.org/W1534850143","https://openalex.org/W1542417898","https://openalex.org/W1543209374","https://openalex.org/W1544328856","https://openalex.org/W1544731171","https://openalex.org/W1552843312","https://openalex.org/W1552961498","https://openalex.org/W1554618854","https://openalex.org/W1555563750","https://openalex.org/W1555720472","https://openalex.org/W1558166004","https://openalex.org/W1558797637","https://openalex.org/W1565693361","https://openalex.org/W1566687055","https://openalex.org/W1569027050","https://openalex.org/W1570787829","https://openalex.org/W1572073643","https://openalex.org/W1572529976","https://openalex.org/W1572972820","https://openalex.org/W1574901103","https://openalex.org/W1575813943","https://openalex.org/W1576193696","https://openalex.org/W1577485093","https://openalex.org/W1578978955","https://openalex.org/W1583295953","https://openalex.org/W1586167239","https://openalex.org/W1588666994","https://openalex.org/W1594873272","https://openalex.org/W1595612871","https://openalex.org/W1596960671","https://openalex.org/W1597068544","https://openalex.org/W1598126305","https://openalex.org/W1601833083","https://openalex.org/W1603641306","https://openalex.org/W1604826792","https://openalex.org/W1605312248","https://openalex.org/W1606393918","https://openalex.org/W1607953571","https://openalex.org/W1709281215","https://openalex.org/W1766332311","https://openalex.org/W1772968073","https://openalex.org/W1780472831","https://openalex.org/W1807555267","https://openalex.org/W1820316515","https://openalex.org/W1827306861","https://openalex.org/W1852954869","https://openalex.org/W1859039449","https://openalex.org/W1864286575","https://openalex.org/W1924534823","https://openalex.org/W1939442430","https://openalex.org/W1965673983","https://openalex.org/W1966048066","https://openalex.org/W1966945932","https://openalex.org/W1968386045","https://openalex.org/W1968605571","https://openalex.org/W1971508608","https://openalex.org/W1972603893","https://openalex.org/W1979905320","https://openalex.org/W1980717258","https://openalex.org/W1983870751","https://openalex.org/W1987538043","https://openalex.org/W1987549075","https://openalex.org/W1987697835","https://openalex.org/W1987902506","https://openalex.org/W1991856459","https://openalex.org/W1992696924","https://openalex.org/W1994851566","https://openalex.org/W1996270497","https://openalex.org/W1996347293","https://openalex.org/W1997816727","https://openalex.org/W1998575874","https://openalex.org/W1998668381","https://openalex.org/W2000178662","https://openalex.org/W2000346568","https://openalex.org/W2008100839","https://openalex.org/W2011184850","https://openalex.org/W2012170877","https://openalex.org/W2014393101","https://openalex.org/W2018221833","https://openalex.org/W2018765574","https://openalex.org/W2021173362","https://openalex.org/W2022060249","https://openalex.org/W2030224590","https://openalex.org/W2033288425","https://openalex.org/W2034155940","https://openalex.org/W2036900631","https://openalex.org/W2037085273","https://openalex.org/W2038809129","https://openalex.org/W2039977878","https://openalex.org/W2040183410","https://openalex.org/W2041161966","https://openalex.org/W2042551813","https://openalex.org/W2042924775","https://openalex.org/W2043314428","https://openalex.org/W2044417902","https://openalex.org/W2045254372","https://openalex.org/W2049352524","https://openalex.org/W2054628190","https://openalex.org/W2055466270","https://openalex.org/W2056016391","https://openalex.org/W2056774266","https://openalex.org/W2057361103","https://openalex.org/W2061438988","https://openalex.org/W2062897452","https://openalex.org/W2064811181","https://openalex.org/W2067259733","https://openalex.org/W2067716734","https://openalex.org/W2069224897","https://openalex.org/W2069767473","https://openalex.org/W2072634471","https://openalex.org/W2072868156","https://openalex.org/W2074030070","https://openalex.org/W2077725083","https://openalex.org/W2081019971","https://openalex.org/W2082976889","https://openalex.org/W2083977009","https://openalex.org/W2084104913","https://openalex.org/W2085702524","https://openalex.org/W2086747974","https://openalex.org/W2090541423","https://openalex.org/W2090626768","https://openalex.org/W2090855107","https://openalex.org/W2094188714","https://openalex.org/W2094633765","https://openalex.org/W2100313866","https://openalex.org/W2100738443","https://openalex.org/W2102660702","https://openalex.org/W2103090960","https://openalex.org/W2104181470","https://openalex.org/W2104351678","https://openalex.org/W2106192381","https://openalex.org/W2107658650","https://openalex.org/W2108731912","https://openalex.org/W2113722134","https://openalex.org/W2118478995","https://openalex.org/W2119409989","https://openalex.org/W2121757274","https://openalex.org/W2122410182","https://openalex.org/W2128057448","https://openalex.org/W2133154717","https://openalex.org/W2134508058","https://openalex.org/W2138162238","https://openalex.org/W2141290989","https://openalex.org/W2141312052","https://openalex.org/W2150667585","https://openalex.org/W2151523288","https://openalex.org/W2153131284","https://openalex.org/W2154274309","https://openalex.org/W2155322595","https://openalex.org/W2160975923","https://openalex.org/W2161689238","https://openalex.org/W2164778826","https://openalex.org/W2164827396","https://openalex.org/W2166089338","https://openalex.org/W2167964658","https://openalex.org/W2168096396","https://openalex.org/W2168753596","https://openalex.org/W2171922389","https://openalex.org/W2175268987","https://openalex.org/W2212036697","https://openalex.org/W2275166338","https://openalex.org/W2319549361","https://openalex.org/W2323378191","https://openalex.org/W2331346174","https://openalex.org/W2337392266","https://openalex.org/W2397253692","https://openalex.org/W2399376905","https://openalex.org/W2406142175","https://openalex.org/W2490966694","https://openalex.org/W2494959931","https://openalex.org/W2583151081","https://openalex.org/W2583716230","https://openalex.org/W2749479972","https://openalex.org/W2798401172","https://openalex.org/W2907412108","https://openalex.org/W2911838076","https://openalex.org/W2912009403","https://openalex.org/W2912330988","https://openalex.org/W2912818154","https://openalex.org/W2914314632","https://openalex.org/W2914834504","https://openalex.org/W2945259913","https://openalex.org/W3030172211","https://openalex.org/W3083287968","https://openalex.org/W3199565109","https://openalex.org/W4230605145","https://openalex.org/W4251179747"],"related_works":["https://openalex.org/W2177902014","https://openalex.org/W7095358020","https://openalex.org/W219690650","https://openalex.org/W7001510891","https://openalex.org/W15855640","https://openalex.org/W33391280","https://openalex.org/W2338309583","https://openalex.org/W7095412775","https://openalex.org/W7099186084","https://openalex.org/W7014645610"],"abstract_inverted_index":{"Mathematical":[0],"logicians":[1,59],"had":[2],"developed":[3],"the":[4,12,15,28,42,55,64,70,81,114,130,136,144,177],"art":[5],"of":[6,14,27,31,44,66,72,83,88,113,121,132,138,175,181],"formalizing":[7,24],"declarative":[8,154],"knowledge":[9,33,45,73,99,133,155],"long":[10],"before":[11],"advent":[13],"computer":[16],"age.":[17],"But":[18],"they":[19,75],"were":[20,50,60,76],"interested":[21],"primarily":[22],"in":[23,34,80,129,156],"mathematics.":[25],"Because":[26],"important":[29,179],"role":[30],"nonmathematical":[32],"AI,":[35],"their":[36,47],"emphasis":[37],"was":[38],"too":[39,78],"narrow":[40],"from":[41,69],"perspective":[43,71],"representation,":[46,74],"formal":[48],"languages":[49],"not":[51,61],"sufficiently":[52],"expressive.":[53],"On":[54],"other":[56],"hand,":[57],"most":[58,126,178],"concerned":[62],"about":[63],"possibility":[65],"automated":[67],"reasoning;":[68],"often":[77],"generous":[79],"choice":[82],"syntactic":[84],"constructs.":[85],"In":[86],"spite":[87],"these":[89,117],"differences,":[90],"classical":[91,122],"mathematical":[92],"logic":[93,123,173],"has":[94],"exerted":[95],"significant":[96],"influence":[97],"on":[98],"representation":[100,134],"research,":[101],"and":[102,162],"it":[103],"is":[104,125,135],"appropriate":[105],"to":[106,150,166],"begin":[107],"this":[108],"handbook":[109],"with":[110],"a":[111],"discussion":[112],"relationship":[115],"between":[116],"fields.":[118],"The":[119],"language":[120,137],"that":[124,146],"widely":[127],"used":[128],"theory":[131],"first-order":[139,182],"(predicate)":[140],"formulas.":[141],"These":[142],"are":[143],"formulas":[145],"John":[147],"McCarthy":[148],"proposed":[149,165],"use":[151],"for":[152],"representing":[153],"his":[157],"advice":[158],"taker":[159],"paper":[160],"[176],":[161],"Alan":[163],"Robinson":[164],"prove":[167],"automatically":[168],"using":[169],"resolution":[170],"[236].":[171],"Propositional":[172],"is,":[174],"course,":[176],"subset":[180],"logic;":[183],"recent":[184]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}