{"id":"https://openalex.org/W2013098708","doi":"https://doi.org/10.1016/0743-1066(93)90028-f","title":"An overview of nonmonotonic reasoning and logic programming","display_name":"An overview of nonmonotonic reasoning and logic programming","publication_year":1993,"publication_date":"1993-11-01","ids":{"openalex":"https://openalex.org/W2013098708","doi":"https://doi.org/10.1016/0743-1066(93)90028-f","mag":"2013098708"},"language":"en","primary_location":{"id":"doi:10.1016/0743-1066(93)90028-f","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0743-1066(93)90028-f","pdf_url":null,"source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5078013111","display_name":"Jack Minker","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jack Minker","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5078013111"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.6556,"has_fulltext":false,"cited_by_count":54,"citation_normalized_percentile":{"value":0.94462283,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"17","issue":"2-4","first_page":"95","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9977999925613403,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9965000152587891,"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/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.8422151207923889},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.8138515949249268},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.6589048504829407},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.5941858887672424},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5813882946968079},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5114811658859253},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4518416225910187},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4269605875015259},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.41788727045059204},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.40518736839294434},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.392161101102829},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.3072753846645355},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.27709972858428955},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1353602409362793}],"concepts":[{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.8422151207923889},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.8138515949249268},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.6589048504829407},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.5941858887672424},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5813882946968079},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5114811658859253},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4518416225910187},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4269605875015259},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.41788727045059204},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.40518736839294434},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.392161101102829},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3072753846645355},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.27709972858428955},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1353602409362793},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0743-1066(93)90028-f","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0743-1066(93)90028-f","pdf_url":null,"source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":261,"referenced_works":["https://openalex.org/W3429031","https://openalex.org/W19957210","https://openalex.org/W37883845","https://openalex.org/W55851624","https://openalex.org/W56364267","https://openalex.org/W60312139","https://openalex.org/W61757047","https://openalex.org/W65775306","https://openalex.org/W68868215","https://openalex.org/W68877015","https://openalex.org/W70051331","https://openalex.org/W71746493","https://openalex.org/W84327095","https://openalex.org/W85748231","https://openalex.org/W88836778","https://openalex.org/W102397362","https://openalex.org/W115237046","https://openalex.org/W118616176","https://openalex.org/W128301608","https://openalex.org/W129897055","https://openalex.org/W135330699","https://openalex.org/W136232721","https://openalex.org/W163500809","https://openalex.org/W176609766","https://openalex.org/W186305455","https://openalex.org/W194413726","https://openalex.org/W195035470","https://openalex.org/W207962917","https://openalex.org/W285091285","https://openalex.org/W1487409515","https://openalex.org/W1489133937","https://openalex.org/W1490980613","https://openalex.org/W1493498708","https://openalex.org/W1494051470","https://openalex.org/W1495866895","https://openalex.org/W1503507742","https://openalex.org/W1504482310","https://openalex.org/W1504628537","https://openalex.org/W1505241859","https://openalex.org/W1505787149","https://openalex.org/W1511711492","https://openalex.org/W1512921847","https://openalex.org/W1522225310","https://openalex.org/W1524811847","https://openalex.org/W1532306186","https://openalex.org/W1533070959","https://openalex.org/W1541434994","https://openalex.org/W1541665809","https://openalex.org/W1543461272","https://openalex.org/W1545424768","https://openalex.org/W1564814748","https://openalex.org/W1569949931","https://openalex.org/W1572693407","https://openalex.org/W1577604126","https://openalex.org/W1578187557","https://openalex.org/W1580770061","https://openalex.org/W1582573023","https://openalex.org/W1589487547","https://openalex.org/W1590902735","https://openalex.org/W1597810128","https://openalex.org/W1600736227","https://openalex.org/W1602839533","https://openalex.org/W1603049456","https://openalex.org/W1647734625","https://openalex.org/W1663215694","https://openalex.org/W1689380074","https://openalex.org/W1756530980","https://openalex.org/W1756873532","https://openalex.org/W1766332311","https://openalex.org/W1875744552","https://openalex.org/W1906451465","https://openalex.org/W1924904173","https://openalex.org/W1966552757","https://openalex.org/W1966614680","https://openalex.org/W1967115134","https://openalex.org/W1967701834","https://openalex.org/W1970185999","https://openalex.org/W1976303542","https://openalex.org/W1979017246","https://openalex.org/W1980131378","https://openalex.org/W1980589711","https://openalex.org/W1980706206","https://openalex.org/W1982644464","https://openalex.org/W1983808534","https://openalex.org/W1984715534","https://openalex.org/W1984890936","https://openalex.org/W1986999264","https://openalex.org/W1987005090","https://openalex.org/W1988882917","https://openalex.org/W1991972474","https://openalex.org/W1996347293","https://openalex.org/W1998072811","https://openalex.org/W2001082547","https://openalex.org/W2003531456","https://openalex.org/W2004352874","https://openalex.org/W2005984922","https://openalex.org/W2008294142","https://openalex.org/W2012217975","https://openalex.org/W2019449346","https://openalex.org/W2021693981","https://openalex.org/W2022128215","https://openalex.org/W2027434762","https://openalex.org/W2039303449","https://openalex.org/W2048059078","https://openalex.org/W2055029276","https://openalex.org/W2055800745","https://openalex.org/W2062539190","https://openalex.org/W2063499502","https://openalex.org/W2065555531","https://openalex.org/W2067326626","https://openalex.org/W2068899234","https://openalex.org/W2069972706","https://openalex.org/W2072230809","https://openalex.org/W2073247139","https://openalex.org/W2076439421","https://openalex.org/W2076698873","https://openalex.org/W2077137711","https://openalex.org/W2077425504","https://openalex.org/W2078508369","https://openalex.org/W2080142817","https://openalex.org/W2082367267","https://openalex.org/W2082945161","https://openalex.org/W2085084839","https://openalex.org/W2089022513","https://openalex.org/W2089299035","https://openalex.org/W2090776985","https://openalex.org/W2090825759","https://openalex.org/W2091433498","https://openalex.org/W2091849010","https://openalex.org/W2093089155","https://openalex.org/W2100738443","https://openalex.org/W2102048877","https://openalex.org/W2105486835","https://openalex.org/W2108911687","https://openalex.org/W2111353076","https://openalex.org/W2115128204","https://openalex.org/W2119409989","https://openalex.org/W2125692076","https://openalex.org/W2129670289","https://openalex.org/W2132745831","https://openalex.org/W2134046100","https://openalex.org/W2138162238","https://openalex.org/W2141312052","https://openalex.org/W2143133577","https://openalex.org/W2143659798","https://openalex.org/W2147096558","https://openalex.org/W2153300968","https://openalex.org/W2154412707","https://openalex.org/W2155322595","https://openalex.org/W2157746363","https://openalex.org/W2162564004","https://openalex.org/W2162575076","https://openalex.org/W2167907160","https://openalex.org/W2169602487","https://openalex.org/W2171288778","https://openalex.org/W2172835203","https://openalex.org/W2173260574","https://openalex.org/W2173808493","https://openalex.org/W2179744405","https://openalex.org/W2346706716","https://openalex.org/W2395178799","https://openalex.org/W2411085520","https://openalex.org/W2496883881","https://openalex.org/W2531563875","https://openalex.org/W2557892554","https://openalex.org/W2578092774","https://openalex.org/W2586770626","https://openalex.org/W2611415697","https://openalex.org/W2904900506","https://openalex.org/W2912594918","https://openalex.org/W2912613826","https://openalex.org/W2912751561","https://openalex.org/W2913288853","https://openalex.org/W2913309218","https://openalex.org/W2913843665","https://openalex.org/W2914830628","https://openalex.org/W2914983426","https://openalex.org/W2915067375","https://openalex.org/W2945259913","https://openalex.org/W3144889436","https://openalex.org/W4211059252","https://openalex.org/W4212875990","https://openalex.org/W4213128210","https://openalex.org/W4213381987","https://openalex.org/W4239069293","https://openalex.org/W4245825753","https://openalex.org/W4250143236","https://openalex.org/W4389288492","https://openalex.org/W6601578594","https://openalex.org/W6602340346","https://openalex.org/W6602389146","https://openalex.org/W6602502887","https://openalex.org/W6602679530","https://openalex.org/W6602754896","https://openalex.org/W6602767743","https://openalex.org/W6602850751","https://openalex.org/W6602942970","https://openalex.org/W6603417329","https://openalex.org/W6603547139","https://openalex.org/W6603563500","https://openalex.org/W6604134876","https://openalex.org/W6604628136","https://openalex.org/W6605219999","https://openalex.org/W6605297713","https://openalex.org/W6605521041","https://openalex.org/W6606579929","https://openalex.org/W6607254775","https://openalex.org/W6607675660","https://openalex.org/W6608411063","https://openalex.org/W6610330540","https://openalex.org/W6629149434","https://openalex.org/W6629171480","https://openalex.org/W6629556900","https://openalex.org/W6629996143","https://openalex.org/W6630335576","https://openalex.org/W6630458657","https://openalex.org/W6631951001","https://openalex.org/W6632333778","https://openalex.org/W6633721397","https://openalex.org/W6634190051","https://openalex.org/W6634207413","https://openalex.org/W6634267781","https://openalex.org/W6634431733","https://openalex.org/W6634524180","https://openalex.org/W6634710236","https://openalex.org/W6635305494","https://openalex.org/W6635355844","https://openalex.org/W6635648387","https://openalex.org/W6635771873","https://openalex.org/W6636093177","https://openalex.org/W6637188094","https://openalex.org/W6637339337","https://openalex.org/W6637449981","https://openalex.org/W6637750207","https://openalex.org/W6637806992","https://openalex.org/W6638065767","https://openalex.org/W6638396678","https://openalex.org/W6639268960","https://openalex.org/W6639625987","https://openalex.org/W6640167639","https://openalex.org/W6645067896","https://openalex.org/W6647254262","https://openalex.org/W6650383773","https://openalex.org/W6655315239","https://openalex.org/W6669927733","https://openalex.org/W6675925439","https://openalex.org/W6676668875","https://openalex.org/W6677004144","https://openalex.org/W6677441111","https://openalex.org/W6677833281","https://openalex.org/W6679764753","https://openalex.org/W6681166846","https://openalex.org/W6681948498","https://openalex.org/W6683031374","https://openalex.org/W6683139545","https://openalex.org/W6685887584","https://openalex.org/W6704625589","https://openalex.org/W6759285401","https://openalex.org/W6759695342","https://openalex.org/W6759826728","https://openalex.org/W6772427866"],"related_works":["https://openalex.org/W2006784674","https://openalex.org/W2143133577","https://openalex.org/W2175438028","https://openalex.org/W1891972172","https://openalex.org/W2041998877","https://openalex.org/W1533378158","https://openalex.org/W1482709970","https://openalex.org/W1497274966","https://openalex.org/W2296695219","https://openalex.org/W4247235522"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}