Publication Information

{'id': 'https://openalex.org/W2076652224', 'doi': 'https://doi.org/10.1145/383779.383789', 'title': 'Logic programming revisited', 'display_name': 'Logic programming revisited', 'publication_year': 2001, 'publication_date': '2001-10-01', 'ids': {'openalex': 'https://openalex.org/W2076652224', 'doi': 'https://doi.org/10.1145/383779.383789', 'mag': '2076652224'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/383779.383789', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S117153874', 'display_name': 'ACM Transactions on Computational Logic', 'issn_l': '1529-3785', 'issn': ['1529-3785', '1557-945X'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319798', 'host_organization_name': 'Association for Computing Machinery', 'host_organization_lineage': ['https://openalex.org/P4310319798'], 'host_organization_lineage_names': ['Association for Computing Machinery'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5004343076', 'display_name': 'Maurice Bruynooghe', 'orcid': 'https://orcid.org/0000-0002-6881-1462'}, 'institutions': [{'id': 'https://openalex.org/I99464096', 'display_name': 'KU Leuven', 'ror': 'https://ror.org/05f950310', 'country_code': 'BE', 'type': 'education', 'lineage': ['https://openalex.org/I99464096']}], 'countries': ['BE'], 'is_corresponding': False, 'raw_author_name': 'Maurice Bruynooghe', 'raw_affiliation_strings': ['Katholieke Univ., Leuven, Heverlee, , Belgium'], 'affiliations': [{'raw_affiliation_string': 'Katholieke Univ., Leuven, Heverlee, , Belgium', 'institution_ids': ['https://openalex.org/I99464096']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5048411051', 'display_name': 'Victor W. Marek', 'orcid': 'https://orcid.org/0000-0002-1369-5177'}, 'institutions': [{'id': 'https://openalex.org/I143302722', 'display_name': 'University of Kentucky', 'ror': 'https://ror.org/02k3smh20', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I143302722']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Victor Marek', 'raw_affiliation_strings': ['University of Kentucky, Lexington.'], 'affiliations': [{'raw_affiliation_string': 'University of Kentucky, Lexington.', 'institution_ids': ['https://openalex.org/I143302722']}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 6.327, 'has_fulltext': False, 'cited_by_count': 68, 'citation_normalized_percentile': {'value': 0.958595, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 94, 'max': 95}, 'biblio': {'volume': '2', 'issue': '4', 'first_page': '623', 'last_page': '654'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic, Reasoning, and Knowledge', 'score': 1.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'}}, 'topics': [{'id': 'https://openalex.org/T11010', 'display_name': 'Logic, Reasoning, and Knowledge', 'score': 1.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'}}, {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9987, '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.9953, '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/horn-clause', 'display_name': 'Horn clause', 'score': 0.75523794}, {'id': 'https://openalex.org/keywords/non-monotonic-logic', 'display_name': 'Non-monotonic logic', 'score': 0.5068944}, {'id': 'https://openalex.org/keywords/default-logic', 'display_name': 'Default logic', 'score': 0.49324983}, {'id': 'https://openalex.org/keywords/philosophy-of-logic', 'display_name': 'Philosophy of logic', 'score': 0.48817736}, {'id': 'https://openalex.org/keywords/inductive-logic-programming', 'display_name': 'Inductive logic programming', 'score': 0.47890794}, {'id': 'https://openalex.org/keywords/answer-set-programming', 'display_name': 'Answer Set Programming', 'score': 0.46542805}, {'id': 'https://openalex.org/keywords/negation', 'display_name': 'Negation', 'score': 0.4402112}, {'id': 'https://openalex.org/keywords/negation-as-failure', 'display_name': 'Negation as failure', 'score': 0.42922002}], 'concepts': [{'id': 'https://openalex.org/C189790780', 'wikidata': 'https://www.wikidata.org/wiki/Q933932', 'display_name': 'Horn clause', 'level': 3, 'score': 0.75523794}, {'id': 'https://openalex.org/C3845977', 'wikidata': 'https://www.wikidata.org/wiki/Q4826262', 'display_name': 'Autoepistemic logic', 'level': 4, 'score': 0.7261706}, {'id': 'https://openalex.org/C128838566', 'wikidata': 'https://www.wikidata.org/wiki/Q275603', 'display_name': 'Logic programming', 'level': 2, 'score': 0.67395055}, {'id': 'https://openalex.org/C124047733', 'wikidata': 'https://www.wikidata.org/wiki/Q5157327', 'display_name': 'Computational logic', 'level': 3, 'score': 0.6111769}, {'id': 'https://openalex.org/C203659156', 'wikidata': 'https://www.wikidata.org/wiki/Q6934805', 'display_name': 'Multimodal logic', 'level': 3, 'score': 0.5699564}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.5194506}, {'id': 'https://openalex.org/C159032336', 'wikidata': 'https://www.wikidata.org/wiki/Q2488768', 'display_name': 'Non-monotonic logic', 'level': 2, 'score': 0.5068944}, {'id': 'https://openalex.org/C160236029', 'wikidata': 'https://www.wikidata.org/wiki/Q842421', 'display_name': 'Default logic', 'level': 5, 'score': 0.49324983}, {'id': 'https://openalex.org/C101874905', 'wikidata': 'https://www.wikidata.org/wiki/Q2476757', 'display_name': 'Philosophy of logic', 'level': 2, 'score': 0.48817736}, {'id': 'https://openalex.org/C2779382394', 'wikidata': 'https://www.wikidata.org/wiki/Q1464197', 'display_name': 'Inductive logic programming', 'level': 2, 'score': 0.47890794}, {'id': 'https://openalex.org/C127001435', 'wikidata': 'https://www.wikidata.org/wiki/Q7595770', 'display_name': 'Stable model semantics', 'level': 4, 'score': 0.47072828}, {'id': 'https://openalex.org/C182620335', 'wikidata': 'https://www.wikidata.org/wiki/Q2852531', 'display_name': 'Answer set programming', 'level': 3, 'score': 0.46542805}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.45695922}, {'id': 'https://openalex.org/C2777796570', 'wikidata': 'https://www.wikidata.org/wiki/Q2351326', 'display_name': 'Dynamic logic (digital electronics)', 'level': 4, 'score': 0.4564874}, {'id': 'https://openalex.org/C2185349', 'wikidata': 'https://www.wikidata.org/wiki/Q190558', 'display_name': 'Negation', 'level': 2, 'score': 0.4402112}, {'id': 'https://openalex.org/C194146651', 'wikidata': 'https://www.wikidata.org/wiki/Q2119400', 'display_name': 'Negation as failure', 'level': 5, 'score': 0.42922002}, {'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.19410881}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C172385210', 'wikidata': 'https://www.wikidata.org/wiki/Q5339', 'display_name': 'Transistor', 'level': 3, 'score': 0.0}, {'id': 'https://openalex.org/C62520636', 'wikidata': 'https://www.wikidata.org/wiki/Q944', 'display_name': 'Quantum mechanics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C165801399', 'wikidata': 'https://www.wikidata.org/wiki/Q25428', 'display_name': 'Voltage', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/383779.383789', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S117153874', 'display_name': 'ACM Transactions on Computational Logic', 'issn_l': '1529-3785', 'issn': ['1529-3785', '1557-945X'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319798', 'host_organization_name': 'Association for Computing Machinery', 'host_organization_lineage': ['https://openalex.org/P4310319798'], 'host_organization_lineage_names': ['Association for Computing Machinery'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.3907', 'pdf_url': 'http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf', 'source': {'id': 'https://openalex.org/S4306400349', 'display_name': 'CiteSeer X (The Pennsylvania State University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130769515', 'host_organization_name': 'Pennsylvania State University', 'host_organization_lineage': ['https://openalex.org/I130769515'], 'host_organization_lineage_names': ['Pennsylvania State University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.3907', 'pdf_url': 'http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf', 'source': {'id': 'https://openalex.org/S4306400349', 'display_name': 'CiteSeer X (The Pennsylvania State University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130769515', 'host_organization_name': 'Pennsylvania State University', 'host_organization_lineage': ['https://openalex.org/I130769515'], 'host_organization_lineage_names': ['Pennsylvania State University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [{'score': 0.62, 'display_name': 'Peace, justice, and strong institutions', 'id': 'https://metadata.un.org/sdg/16'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 80, 'referenced_works': ['https://openalex.org/W1196275239', 'https://openalex.org/W132036571', 'https://openalex.org/W1489867543', 'https://openalex.org/W1494051470', 'https://openalex.org/W1504169145', 'https://openalex.org/W1511336005', 'https://openalex.org/W1522225310', 'https://openalex.org/W1536217426', 'https://openalex.org/W1541434994', 'https://openalex.org/W1544675707', 'https://openalex.org/W1565496223', 'https://openalex.org/W1578088218', 'https://openalex.org/W1579817075', 'https://openalex.org/W1583630875', 'https://openalex.org/W1585128108', 'https://openalex.org/W1591825827', 'https://openalex.org/W1597862920', 'https://openalex.org/W1598891747', 'https://openalex.org/W163949134', 'https://openalex.org/W1639901403', 'https://openalex.org/W166785350', 'https://openalex.org/W1672891595', 'https://openalex.org/W1766332311', 'https://openalex.org/W1924904173', 'https://openalex.org/W194413726', 'https://openalex.org/W194816663', 'https://openalex.org/W1956187187', 'https://openalex.org/W1965742344', 'https://openalex.org/W1966552757', 'https://openalex.org/W1968513265', 'https://openalex.org/W1969682671', 'https://openalex.org/W1979129485', 'https://openalex.org/W1987005090', 'https://openalex.org/W1989783863', 'https://openalex.org/W1995303925', 'https://openalex.org/W2001805670', 'https://openalex.org/W2003531456', 'https://openalex.org/W2003914809', 'https://openalex.org/W2009286786', 'https://openalex.org/W2022938902', 'https://openalex.org/W2031868932', 'https://openalex.org/W2038181165', 'https://openalex.org/W2041259062', 'https://openalex.org/W2043100293', 'https://openalex.org/W2043182143', 'https://openalex.org/W2043198854', 'https://openalex.org/W2046213250', 'https://openalex.org/W2047885920', 'https://openalex.org/W2059144726', 'https://openalex.org/W2066992739', 'https://openalex.org/W2070598037', 'https://openalex.org/W2085869400', 'https://openalex.org/W2097366413', 'https://openalex.org/W2099792091', 'https://openalex.org/W2100738443', 'https://openalex.org/W2105486835', 'https://openalex.org/W2108911687', 'https://openalex.org/W2111353076', 'https://openalex.org/W2129825950', 'https://openalex.org/W2132745831', 'https://openalex.org/W2143382644', 'https://openalex.org/W2152131859', 'https://openalex.org/W2155322595', 'https://openalex.org/W2157221482', 'https://openalex.org/W2173808493', 'https://openalex.org/W2516566257', 'https://openalex.org/W2561675875', 'https://openalex.org/W2611415697', 'https://openalex.org/W26772505', 'https://openalex.org/W2947544738', 'https://openalex.org/W2969873114', 'https://openalex.org/W3000695772', 'https://openalex.org/W31561947', 'https://openalex.org/W3163551565', 'https://openalex.org/W40029885', 'https://openalex.org/W4206370914', 'https://openalex.org/W4212881215', 'https://openalex.org/W4229581653', 'https://openalex.org/W4291439952', 'https://openalex.org/W4293117209'], 'related_works': ['https://openalex.org/W2963351225', 'https://openalex.org/W2468509525', 'https://openalex.org/W2345436263', 'https://openalex.org/W2048639548', 'https://openalex.org/W194413726', 'https://openalex.org/W1937160721', 'https://openalex.org/W1627528933', 'https://openalex.org/W1521860126', 'https://openalex.org/W150743059', 'https://openalex.org/W1494464412'], 'abstract_inverted_index': {'Logic': [0, 98], 'programming': [1, 6, 88, 153], 'has': [2, 34], 'been': [3, 35], 'introduced': [4], 'as': [5, 22, 41, 89, 157, 193], 'in': [7, 107, 185], 'the': [8, 20, 28, 61, 64, 74, 84, 111, 120, 129, 190, 194, 199, 217], 'Horn': [9], 'clause': [10], 'subset': [11], 'of': [12, 32, 44, 63, 76, 81, 86, 114, 163, 189, 198, 219], 'first-order': [13], 'logic.': [14], 'This': [15, 117], 'view': [16, 37, 85], 'breaks': [17], 'down': [18], 'for': [19, 128], 'negation': [21, 172], 'failure': [23], 'inference': [24], 'rule.': [25], 'To': [26], 'overcome': [27], 'problem,': [29], 'one': [30], 'line': [31, 80], 'research': [33, 82], 'to': [36, 50, 67, 69, 72, 96], 'a': [38, 42, 52, 90, 142, 158], 'logic': [39, 87, 115, 152, 162, 169, 200, 206], 'program': [40, 65], 'set': [43], 'iff-definitions.': [45], 'A': [46], 'second': [47], 'approach': [48], 'was': [49], 'identify': [51], 'unique': [53, 195], 'canonical,': [54], 'preferred': [55], ',': [56], 'or': [57], 'intended': [58, 196], 'model': [59, 131, 192, 197], 'among': [60], 'models': [62], 'and': [66, 99, 122, 160], 'appeal': [68], 'common': [70, 138], 'sense': [71, 139], 'validate': [73], 'choice': [75], 'such': [77], 'model.': [78], 'Another': [79], 'developed': [83, 150], 'nonmonotonic': [91], 'reasoning': [92], 'formalism': [93], 'strongly': [94], 'related': [95], 'Default': [97], 'Autoepistemic': [100], 'Logic.': [101], 'These': [102], 'competing': [103], 'approaches': [104], 'have': [105], 'resulted': [106], 'some': [108], 'confusion': [109], 'about': [110], 'declarative': [112], 'meaning': [113, 211], 'programming.': [116], 'paper': [118], 'investigates': [119], 'problem': [121], 'proposes': [123], 'an': [124, 186, 209], 'alternative': [125, 187], 'epistemological': [126], 'foundation': [127], 'canonical': [130], 'approach,': [132], 'which': [133], 'is': [134, 149, 179], 'not': [135], 'based': [136], 'on': [137, 141], 'but': [140], 'solid': [143], 'mathematical': [144], 'information': [145], 'principle.': [146], 'The': [147], 'thesis': [148, 183], 'that': [151, 181, 212], 'can': [154], 'be': [155], 'understood': [156], 'natural': [159], 'general': [161], 'inductive': [164, 175], 'definitions': [165, 176], '.': [166, 177], 'In': [167, 202], 'particular,': [168], 'programs': [170, 207], 'with': [171, 208, 216], 'represent': [173], 'nonmonotone': [174], 'It': [178], 'argued': [180], 'this': [182], 'results': [184], 'justification': [188], 'well-founded': [191], 'program.': [201], 'addition,': [203], 'it': [204], 'equips': [205], 'easy-to-comprehend': [210], 'corresponds': [213], 'very': [214], 'well': [215], 'intuitions': [218], 'programmers.': [220]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2076652224', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2023, 'cited_by_count': 2}, {'year': 2020, 'cited_by_count': 1}, {'year': 2018, 'cited_by_count': 2}, {'year': 2016, 'cited_by_count': 2}, {'year': 2015, 'cited_by_count': 3}, {'year': 2014, 'cited_by_count': 4}, {'year': 2013, 'cited_by_count': 4}, {'year': 2012, 'cited_by_count': 5}], 'updated_date': '2025-01-05T20:43:44.155066', 'created_date': '2016-06-24'}