Publication Information

{'id': 'https://openalex.org/W1604479724', 'doi': 'https://doi.org/10.1016/b978-0-444-88771-9.50010-6', 'title': 'Logics for Automated Reasoning in the Presence of Contradictions', 'display_name': 'Logics for Automated Reasoning in the Presence of Contradictions', 'publication_year': 1990, 'publication_date': '1990-01-01', 'ids': {'openalex': 'https://openalex.org/W1604479724', 'doi': 'https://doi.org/10.1016/b978-0-444-88771-9.50010-6', 'mag': '1604479724'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1016/b978-0-444-88771-9.50010-6', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306463230', 'display_name': 'Elsevier eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, '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': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book-chapter', 'type_crossref': 'book-chapter', '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/A5033529457', 'display_name': 'Philippe Besnard', 'orcid': 'https://orcid.org/0000-0002-3702-5709'}, 'institutions': [{'id': 'https://openalex.org/I2802519937', 'display_name': 'Institut de Recherche en Informatique et Systèmes Aléatoires', 'ror': 'https://ror.org/00myn0z94', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I1294671590', 'https://openalex.org/I1326498283', 'https://openalex.org/I2802204017', 'https://openalex.org/I2802519937', 'https://openalex.org/I28221208', 'https://openalex.org/I4210127572', 'https://openalex.org/I4210159245', 'https://openalex.org/I56067802']}], 'countries': ['FR'], 'is_corresponding': True, 'raw_author_name': 'Philippe Besnard', 'raw_affiliation_strings': ['IRISA, Campus de Beaulieu, 35042 Rennes Cédex, FRANCE'], 'affiliations': [{'raw_affiliation_string': 'IRISA, Campus de Beaulieu, 35042 Rennes Cédex, FRANCE', 'institution_ids': ['https://openalex.org/I2802519937']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5033529457'], 'corresponding_institution_ids': ['https://openalex.org/I2802519937'], 'apc_list': None, 'apc_paid': None, 'fwci': 0.74, 'has_fulltext': False, 'cited_by_count': 5, 'citation_normalized_percentile': {'value': 0.76348, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 72, 'max': 74}, 'biblio': {'volume': None, 'issue': None, 'first_page': '33', 'last_page': '42'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic Programming and Knowledge Representation', 'score': 0.9865, '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.9865, '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.9574, '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/T11727', 'display_name': 'Fuzzy Logic and Residuated Lattices', 'score': 0.9502, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, '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.564485}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.544606}, {'id': 'https://openalex.org/keywords/epistemic-logic', 'display_name': 'Epistemic Logic', 'score': 0.531294}, {'id': 'https://openalex.org/keywords/modal-logics', 'display_name': 'Modal Logics', 'score': 0.529207}, {'id': 'https://openalex.org/keywords/knowledge-representation', 'display_name': 'Knowledge Representation', 'score': 0.524283}, {'id': 'https://openalex.org/keywords/automated-reasoning', 'display_name': 'Automated reasoning', 'score': 0.46383247}], 'concepts': [{'id': 'https://openalex.org/C111472728', 'wikidata': 'https://www.wikidata.org/wiki/Q9471', 'display_name': 'Epistemology', 'level': 1, 'score': 0.47416058}, {'id': 'https://openalex.org/C195344581', 'wikidata': 'https://www.wikidata.org/wiki/Q2555318', 'display_name': 'Automated reasoning', 'level': 2, 'score': 0.46383247}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.4354056}, {'id': 'https://openalex.org/C188147891', 'wikidata': 'https://www.wikidata.org/wiki/Q147638', 'display_name': 'Cognitive science', 'level': 1, 'score': 0.3942415}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.2920796}, {'id': 'https://openalex.org/C15744967', 'wikidata': 'https://www.wikidata.org/wiki/Q9418', 'display_name': 'Psychology', 'level': 0, 'score': 0.27237067}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.27158535}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1016/b978-0-444-88771-9.50010-6', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306463230', 'display_name': 'Elsevier eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, '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': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'display_name': 'Peace, justice, and strong institutions', 'score': 0.44, 'id': 'https://metadata.un.org/sdg/16'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 16, 'referenced_works': ['https://openalex.org/W1499525256', 'https://openalex.org/W1518708783', 'https://openalex.org/W1593617641', 'https://openalex.org/W1976964220', 'https://openalex.org/W2039540348', 'https://openalex.org/W2049591335', 'https://openalex.org/W2054518394', 'https://openalex.org/W2089552973', 'https://openalex.org/W2142616542', 'https://openalex.org/W2610193022', 'https://openalex.org/W26530055', 'https://openalex.org/W3020891513', 'https://openalex.org/W3189107986', 'https://openalex.org/W4213128210', 'https://openalex.org/W4302314483', 'https://openalex.org/W976098363'], 'related_works': ['https://openalex.org/W4391913857', 'https://openalex.org/W2748952813', 'https://openalex.org/W2530322880', 'https://openalex.org/W2478288626', 'https://openalex.org/W2390279801', 'https://openalex.org/W2382290278', 'https://openalex.org/W2376932109', 'https://openalex.org/W2358668433', 'https://openalex.org/W2350741829', 'https://openalex.org/W2001405890'], 'abstract_inverted_index': {'We': [0, 73], 'basically': [1], 'discuss': [2], 'the': [3, 23, 31], 'adequacy': [4], 'of': [5, 22, 28, 33], 'paraconsistent': [6, 46, 58, 79], 'logics': [7, 47, 80], 'for': [8, 53, 68], 'knowledge': [9, 71, 91], 'representation.': [10, 72], 'The': [11], 'specific': [12], 'problem': [13], 'being': [14], 'investigated,': [15], 'in': [16, 30, 48, 65, 76], 'a': [17, 26, 56], 'preliminary': [18], 'manner,': [19], 'is': [20, 60], 'that': [21], 'formalization': [24], '(by': [25], 'logic)': [27], 'reasoning': [29, 88], 'presence': [32], 'contradictions.': [34], 'In': [35], 'doing': [36], 'this,': [37], 'we': [38], 'examine': [39], 'various': [40], 'logical': [41], 'principles': [42], 'underlying': [43], 'some': [44], 'rival': [45], 'order': [49], 'to': [50, 70, 86], 'provide': [51], 'indications': [52], 'determining': [54], 'whether': [55], 'particular': [57], 'logic': [59], 'appropriate': [61], '(in': [62], 'general': [63], 'or': [64], 'special': [66], 'cases)': [67], 'application': [69], 'also': [74], 'argue': [75], 'what': [77], 'way': [78], 'have': [81], 'advantages': [82], 'over': [83], 'other': [84], 'approaches': [85], 'automated': [87], 'from': [89], 'inconsistent': [90], 'bases.': [92]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1604479724', 'counts_by_year': [], 'updated_date': '2024-09-26T22:01:32.844306', 'created_date': '2016-06-24'}