Publication Information

{'id': 'https://openalex.org/W2037576563', 'doi': 'https://doi.org/10.1016/0004-3702(95)00063-1', 'title': 'Limited reasoning in first-order knowledge bases with full introspection', 'display_name': 'Limited reasoning in first-order knowledge bases with full introspection', 'publication_year': 1996, 'publication_date': '1996-07-01', 'ids': {'openalex': 'https://openalex.org/W2037576563', 'doi': 'https://doi.org/10.1016/0004-3702(95)00063-1', 'mag': '2037576563'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1016/0004-3702(95)00063-1', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S196139623', 'display_name': 'Artificial Intelligence', 'issn_l': '0004-3702', 'issn': ['0004-3702', '1872-7921'], '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': 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': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5005730180', 'display_name': 'Gerhard Lakemeyer', 'orcid': 'https://orcid.org/0000-0002-7363-7593'}, 'institutions': [{'id': 'https://openalex.org/I135140700', 'display_name': 'University of Bonn', 'ror': 'https://ror.org/041nas322', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I135140700']}], 'countries': ['DE'], 'is_corresponding': True, 'raw_author_name': 'Gerhard Lakemeyer', 'raw_affiliation_strings': ['‡University of Bonn, Bonn, Germany'], 'affiliations': [{'raw_affiliation_string': '‡University of Bonn, Bonn, Germany', 'institution_ids': ['https://openalex.org/I135140700']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5005730180'], 'corresponding_institution_ids': ['https://openalex.org/I135140700'], 'apc_list': {'value': 3670, 'currency': 'USD', 'value_usd': 3670, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 2.175, 'has_fulltext': False, 'cited_by_count': 19, 'citation_normalized_percentile': {'value': 0.882159, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 84, 'max': 85}, 'biblio': {'volume': '84', 'issue': '1-2', 'first_page': '209', 'last_page': '255'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic Programming and Knowledge Representation', 'score': 0.9996, '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 Programming and Knowledge Representation', 'score': 0.9996, '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 Ontology Development', 'score': 0.9853, '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/T11303', 'display_name': 'Learning and Inference in Bayesian Networks', 'score': 0.9813, '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/nonmonotonic-reasoning', 'display_name': 'Nonmonotonic Reasoning', 'score': 0.577663}, {'id': 'https://openalex.org/keywords/knowledge-representation', 'display_name': 'Knowledge Representation', 'score': 0.570676}, {'id': 'https://openalex.org/keywords/constraint-logic-programming', 'display_name': 'Constraint Logic Programming', 'score': 0.558224}, {'id': 'https://openalex.org/keywords/non-monotonic-logic', 'display_name': 'Non-monotonic logic', 'score': 0.5518077}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.546777}, {'id': 'https://openalex.org/keywords/temporal-logic', 'display_name': 'Temporal Logic', 'score': 0.539914}, {'id': 'https://openalex.org/keywords/undecidable-problem', 'display_name': 'Undecidable problem', 'score': 0.5204851}, {'id': 'https://openalex.org/keywords/introspection', 'display_name': 'Introspection', 'score': 0.45130596}, {'id': 'https://openalex.org/keywords/representation', 'display_name': 'Representation (politics)', 'score': 0.4449291}, {'id': 'https://openalex.org/keywords/automated-reasoning', 'display_name': 'Automated reasoning', 'score': 0.4356708}], 'concepts': [{'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.63940847}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6375175}, {'id': 'https://openalex.org/C161301231', 'wikidata': 'https://www.wikidata.org/wiki/Q3478658', 'display_name': 'Knowledge representation and reasoning', 'level': 2, 'score': 0.6306871}, {'id': 'https://openalex.org/C153269930', 'wikidata': 'https://www.wikidata.org/wiki/Q430001', 'display_name': 'Decidability', 'level': 2, 'score': 0.6092953}, {'id': 'https://openalex.org/C159032336', 'wikidata': 'https://www.wikidata.org/wiki/Q2488768', 'display_name': 'Non-monotonic logic', 'level': 2, 'score': 0.5518077}, {'id': 'https://openalex.org/C2776214188', 'wikidata': 'https://www.wikidata.org/wiki/Q408386', 'display_name': 'Inference', 'level': 2, 'score': 0.5236259}, {'id': 'https://openalex.org/C192034797', 'wikidata': 'https://www.wikidata.org/wiki/Q3502995', 'display_name': 'Undecidable problem', 'level': 3, 'score': 0.5204851}, {'id': 'https://openalex.org/C4554734', 'wikidata': 'https://www.wikidata.org/wiki/Q593744', 'display_name': 'Knowledge base', 'level': 2, 'score': 0.51984245}, {'id': 'https://openalex.org/C97364631', 'wikidata': 'https://www.wikidata.org/wiki/Q484284', 'display_name': 'Deductive reasoning', 'level': 2, 'score': 0.4972966}, {'id': 'https://openalex.org/C89288958', 'wikidata': 'https://www.wikidata.org/wiki/Q7301504', 'display_name': 'Reasoning system', 'level': 2, 'score': 0.46630967}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.45679215}, {'id': 'https://openalex.org/C129671850', 'wikidata': 'https://www.wikidata.org/wiki/Q210501', 'display_name': 'Introspection', 'level': 2, 'score': 0.45130596}, {'id': 'https://openalex.org/C2776359362', 'wikidata': 'https://www.wikidata.org/wiki/Q2145286', 'display_name': 'Representation (politics)', 'level': 3, 'score': 0.4449291}, {'id': 'https://openalex.org/C195344581', 'wikidata': 'https://www.wikidata.org/wiki/Q2555318', 'display_name': 'Automated reasoning', 'level': 2, 'score': 0.4356708}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.43207836}, {'id': 'https://openalex.org/C134752490', 'wikidata': 'https://www.wikidata.org/wiki/Q374182', 'display_name': 'Logical consequence', 'level': 2, 'score': 0.42743057}, {'id': 'https://openalex.org/C111472728', 'wikidata': 'https://www.wikidata.org/wiki/Q9471', 'display_name': 'Epistemology', 'level': 1, 'score': 0.11427948}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C94625758', 'wikidata': 'https://www.wikidata.org/wiki/Q7163', 'display_name': 'Politics', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C17744445', 'wikidata': 'https://www.wikidata.org/wiki/Q36442', 'display_name': 'Political science', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C199539241', 'wikidata': 'https://www.wikidata.org/wiki/Q7748', 'display_name': 'Law', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1016/0004-3702(95)00063-1', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S196139623', 'display_name': 'Artificial Intelligence', 'issn_l': '0004-3702', 'issn': ['0004-3702', '1872-7921'], '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': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 42, 'referenced_works': ['https://openalex.org/W123640415', 'https://openalex.org/W142513870', 'https://openalex.org/W1495866895', 'https://openalex.org/W1505241859', 'https://openalex.org/W1506104865', 'https://openalex.org/W1516748551', 'https://openalex.org/W1525141167', 'https://openalex.org/W1528901841', 'https://openalex.org/W1531543048', 'https://openalex.org/W1570099385', 'https://openalex.org/W1593617641', 'https://openalex.org/W1599149983', 'https://openalex.org/W165299479', 'https://openalex.org/W1691969440', 'https://openalex.org/W1781214289', 'https://openalex.org/W187485680', 'https://openalex.org/W1913316099', 'https://openalex.org/W1966552757', 'https://openalex.org/W1970861542', 'https://openalex.org/W1976904791', 'https://openalex.org/W1991972474', 'https://openalex.org/W2004226183', 'https://openalex.org/W2021693981', 'https://openalex.org/W2023605209', 'https://openalex.org/W2032206951', 'https://openalex.org/W2035346816', 'https://openalex.org/W2057599103', 'https://openalex.org/W2067326626', 'https://openalex.org/W2076073997', 'https://openalex.org/W2094633765', 'https://openalex.org/W2148717074', 'https://openalex.org/W2162575076', 'https://openalex.org/W2164764666', 'https://openalex.org/W2172835203', 'https://openalex.org/W2293834506', 'https://openalex.org/W2414735778', 'https://openalex.org/W2612937853', 'https://openalex.org/W266965596', 'https://openalex.org/W2911544087', 'https://openalex.org/W2913166189', 'https://openalex.org/W3144889436', 'https://openalex.org/W67429763'], 'related_works': ['https://openalex.org/W2567893123', 'https://openalex.org/W2399112294', 'https://openalex.org/W2182693335', 'https://openalex.org/W2175438028', 'https://openalex.org/W2169610770', 'https://openalex.org/W1974525301', 'https://openalex.org/W1557741300', 'https://openalex.org/W1540734423', 'https://openalex.org/W1526001900', 'https://openalex.org/W1488110666'], 'abstract_inverted_index': {'A': [0, 20], 'fundamental': [1], 'problem': [2, 95], 'in': [3, 84], 'knowledge': [4, 78, 113, 133, 164], 'representation': [5, 114], 'is': [6, 14, 29], 'that': [7, 145, 168], 'reasoning,': [8], 'if': [9], 'based': [10], 'on': [11, 45], 'classical': [12], 'logic,': [13], 'inherently': [15], 'intractable': [16], 'or': [17], 'even': [18], 'undecidable.': [19], 'principled': [21], 'approach': [22], 'to': [23, 30, 59, 66, 88, 123, 128], 'specifying': [24], 'more': [25], 'efficient': [26], 'inference': [27], 'mechanisms': [28], 'use': [31], 'weaker': [32], 'logics': [33], 'with': [34], 'non-standard': [35], 'model': [36], 'theories.': [37], 'In': [38], 'this': [39, 85], 'paper': [40], 'we': [41, 100, 116], 'extend': [42], 'earlier': [43], 'work': [44], 'a': [46, 92, 132, 154, 163], 'logic': [47, 63, 98, 111, 140], 'of': [48, 71, 82, 91, 96, 109, 126, 138, 151, 162, 173], 'belief': [49], 'for': [50, 112], 'decidable': [51], 'deductive': [52], 'first-order': [53, 77], 'reasoning': [54, 83], 'by': [55, 149], 'adding': [56], 'the': [57, 69, 89, 97, 107, 110, 124, 139, 159, 171], 'ability': [58], 'introspect.': [60], 'The': [61, 80], 'new': [62], 'allows': [64], 'us': [65], 'formally': [67], 'specify': [68], 'beliefs': [70, 161], 'deductively': [72], 'limited': [73, 160], 'yet': [74], 'fully': [75], 'introspective': [76], 'bases.': [79], 'complexity': [81, 90], 'framework': [86], 'reduces': [87], 'special': [93], 'validity': [94], 'and': [99, 130, 146, 153, 166], 'obtain': [101], 'various': [102], 'tractability/decidability': [103], 'results.': [104], 'To': [105], 'demonstrate': [106], 'usefulness': [108], 'purposes': [115], 'show': [117], 'how': [118], 'it': [119], 'can': [120], 'be': [121], 'applied': [122], 'specification': [125], 'routines': [127], 'query': [129], 'update': [131], 'base.': [134], 'Other': [135], 'interesting': [136], 'aspects': [137], 'include': [141], 'distinctions': [142], 'between': [143, 158], 'knowing': [144, 147], 'who': [148], 'way': [150], 'quantifying-in': [152], 'very': [155], 'tight': [156], 'coupling': [157], 'base': [165], 'those': [167], 'follow': [169], 'under': [170], 'assumption': [172], 'perfect': [174], 'logical': [175], 'reasoning.': [176]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2037576563', 'counts_by_year': [{'year': 2017, 'cited_by_count': 2}, {'year': 2016, 'cited_by_count': 2}, {'year': 2015, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 1}, {'year': 2013, 'cited_by_count': 1}, {'year': 2012, 'cited_by_count': 1}], 'updated_date': '2024-09-24T16:25:07.483300', 'created_date': '2016-06-24'}