Publication Information

{'id': 'https://openalex.org/W2541650181', 'doi': 'https://doi.org/10.1007/978-3-319-48758-8_29', 'title': 'Extensional Semantics for Higher-Order Logic Programs with Negation', 'display_name': 'Extensional Semantics for Higher-Order Logic Programs with Negation', 'publication_year': 2016, 'publication_date': '2016-01-01', 'ids': {'openalex': 'https://openalex.org/W2541650181', 'doi': 'https://doi.org/10.1007/978-3-319-48758-8_29', 'mag': '2541650181'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-319-48758-8_29', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S106296714', 'display_name': 'Lecture notes in computer science', 'issn_l': '0302-9743', 'issn': ['0302-9743', '1611-3349'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319900', 'host_organization_name': 'Springer Science+Business Media', 'host_organization_lineage': ['https://openalex.org/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], 'type': 'book series'}, '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': True, 'oa_status': 'green', 'oa_url': 'https://arxiv.org/pdf/1701.08622', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5038937008', 'display_name': 'Panos Rondogiannis', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I200777214', 'display_name': 'National and Kapodistrian University of Athens', 'ror': 'https://ror.org/04gnjpq42', 'country_code': 'GR', 'type': 'education', 'lineage': ['https://openalex.org/I200777214']}], 'countries': ['GR'], 'is_corresponding': True, 'raw_author_name': 'Panos Rondogiannis', 'raw_affiliation_strings': ['Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Athens, Greece'], 'affiliations': [{'raw_affiliation_string': 'Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Athens, Greece', 'institution_ids': ['https://openalex.org/I200777214']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5052186541', 'display_name': 'Ioanna Symeonidou', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I200777214', 'display_name': 'National and Kapodistrian University of Athens', 'ror': 'https://ror.org/04gnjpq42', 'country_code': 'GR', 'type': 'education', 'lineage': ['https://openalex.org/I200777214']}], 'countries': ['GR'], 'is_corresponding': False, 'raw_author_name': 'Ioanna Symeonidou', 'raw_affiliation_strings': ['Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Athens, Greece'], 'affiliations': [{'raw_affiliation_string': 'Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Athens, Greece', 'institution_ids': ['https://openalex.org/I200777214']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5038937008'], 'corresponding_institution_ids': ['https://openalex.org/I200777214'], 'apc_list': {'value': 5000, 'currency': 'EUR', 'value_usd': 5392, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.768, 'has_fulltext': False, 'cited_by_count': 3, 'citation_normalized_percentile': {'value': 0.438812, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 77, 'max': 79}, 'biblio': {'volume': None, 'issue': None, 'first_page': '447', 'last_page': '462'}, '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/T11727', 'display_name': 'Fuzzy Logic and Residuated Lattices', 'score': 0.9986, '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'}}, {'id': 'https://openalex.org/T10126', 'display_name': 'Program Analysis and Verification Techniques', 'score': 0.9971, '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/negation', 'display_name': 'Negation', 'score': 0.81871}, {'id': 'https://openalex.org/keywords/programming-language-semantics', 'display_name': 'Programming Language Semantics', 'score': 0.581775}, {'id': 'https://openalex.org/keywords/temporal-logic', 'display_name': 'Temporal Logic', 'score': 0.55573}, {'id': 'https://openalex.org/keywords/nonmonotonic-reasoning', 'display_name': 'Nonmonotonic Reasoning', 'score': 0.555238}, {'id': 'https://openalex.org/keywords/constraint-logic-programming', 'display_name': 'Constraint Logic Programming', 'score': 0.541368}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.538758}, {'id': 'https://openalex.org/keywords/stratification', 'display_name': 'Stratification (seeds)', 'score': 0.53221595}, {'id': 'https://openalex.org/keywords/well-founded-semantics', 'display_name': 'Well-founded semantics', 'score': 0.5216492}, {'id': 'https://openalex.org/keywords/game-semantics', 'display_name': 'Game semantics', 'score': 0.41869482}], 'concepts': [{'id': 'https://openalex.org/C2185349', 'wikidata': 'https://www.wikidata.org/wiki/Q190558', 'display_name': 'Negation', 'level': 2, 'score': 0.81871}, {'id': 'https://openalex.org/C136137745', 'wikidata': 'https://www.wikidata.org/wiki/Q19515659', 'display_name': 'Extensional definition', 'level': 3, 'score': 0.7332586}, {'id': 'https://openalex.org/C127001435', 'wikidata': 'https://www.wikidata.org/wiki/Q7595770', 'display_name': 'Stable model semantics', 'level': 4, 'score': 0.60135055}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6011169}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.5701451}, {'id': 'https://openalex.org/C192943249', 'wikidata': 'https://www.wikidata.org/wiki/Q1893382', 'display_name': 'Stratification (seeds)', 'level': 5, 'score': 0.53221595}, {'id': 'https://openalex.org/C128838566', 'wikidata': 'https://www.wikidata.org/wiki/Q275603', 'display_name': 'Logic programming', 'level': 2, 'score': 0.52770513}, {'id': 'https://openalex.org/C89497691', 'wikidata': 'https://www.wikidata.org/wiki/Q7981058', 'display_name': 'Well-founded semantics', 'level': 5, 'score': 0.5216492}, {'id': 'https://openalex.org/C184337299', 'wikidata': 'https://www.wikidata.org/wiki/Q1437428', 'display_name': 'Semantics (computer science)', 'level': 2, 'score': 0.5020807}, {'id': 'https://openalex.org/C169896238', 'wikidata': 'https://www.wikidata.org/wiki/Q1644136', 'display_name': 'Higher-order logic', 'level': 3, 'score': 0.4566549}, {'id': 'https://openalex.org/C9672783', 'wikidata': 'https://www.wikidata.org/wiki/Q65122115', 'display_name': 'Game semantics', 'level': 5, 'score': 0.41869482}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.36107695}, {'id': 'https://openalex.org/C156325763', 'wikidata': 'https://www.wikidata.org/wiki/Q1930895', 'display_name': 'Operational semantics', 'level': 3, 'score': 0.30791175}, {'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.19225055}, {'id': 'https://openalex.org/C207648694', 'wikidata': 'https://www.wikidata.org/wiki/Q1189746', 'display_name': 'Denotational semantics', 'level': 4, 'score': 0.13746095}, {'id': 'https://openalex.org/C88548481', 'wikidata': 'https://www.wikidata.org/wiki/Q2397491', 'display_name': 'Seed dormancy', 'level': 4, 'score': 0.0}, {'id': 'https://openalex.org/C151730666', 'wikidata': 'https://www.wikidata.org/wiki/Q7205', 'display_name': 'Paleontology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C77928131', 'wikidata': 'https://www.wikidata.org/wiki/Q193343', 'display_name': 'Tectonics', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C100701293', 'wikidata': 'https://www.wikidata.org/wiki/Q193838', 'display_name': 'Germination', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C59822182', 'wikidata': 'https://www.wikidata.org/wiki/Q441', 'display_name': 'Botany', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C3527866', 'wikidata': 'https://www.wikidata.org/wiki/Q162267', 'display_name': 'Dormancy', 'level': 3, 'score': 0.0}, {'id': 'https://openalex.org/C86803240', 'wikidata': 'https://www.wikidata.org/wiki/Q420', 'display_name': 'Biology', 'level': 0, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-319-48758-8_29', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S106296714', 'display_name': 'Lecture notes in computer science', 'issn_l': '0302-9743', 'issn': ['0302-9743', '1611-3349'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319900', 'host_organization_name': 'Springer Science+Business Media', 'host_organization_lineage': ['https://openalex.org/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], 'type': 'book series'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1701.08622', 'pdf_url': 'https://arxiv.org/pdf/1701.08622', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell 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': 'https://arxiv.org/abs/1701.08622', 'pdf_url': 'https://arxiv.org/pdf/1701.08622', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 19, 'referenced_works': ['https://openalex.org/W1443075279', 'https://openalex.org/W149229917', 'https://openalex.org/W1541434994', 'https://openalex.org/W1590388140', 'https://openalex.org/W1591526886', 'https://openalex.org/W1775389928', 'https://openalex.org/W1968513265', 'https://openalex.org/W1972464717', 'https://openalex.org/W1979966822', 'https://openalex.org/W2071118378', 'https://openalex.org/W2111352036', 'https://openalex.org/W2111353076', 'https://openalex.org/W2122293551', 'https://openalex.org/W2169914765', 'https://openalex.org/W2575897612', 'https://openalex.org/W2595800352', 'https://openalex.org/W4206370914', 'https://openalex.org/W4206717895', 'https://openalex.org/W46734479'], 'related_works': ['https://openalex.org/W342706626', 'https://openalex.org/W2950270269', 'https://openalex.org/W2623765780', 'https://openalex.org/W2183306889', 'https://openalex.org/W2162235729', 'https://openalex.org/W2135819447', 'https://openalex.org/W2029220517', 'https://openalex.org/W1972627011', 'https://openalex.org/W1634236444', 'https://openalex.org/W1572426677'], 'abstract_inverted_index': {'We': [0, 77], 'develop': [1], 'an': [2, 29, 46], 'extensional': [3, 31], 'semantics': [4, 32, 90], 'for': [5, 20, 33, 55, 80], 'higher-order': [6, 22, 34, 85], 'logic': [7, 35, 75, 86], 'programs': [8, 36], 'with': [9, 37], 'negation,': [10], 'generalizing': [11], 'the': [12, 40, 56, 60, 69, 88, 93], 'technique': [13], 'that': [14, 79], 'was': [15], 'introduced': [16], 'in': [17, 43], '[2,': [18], '3]': [19], 'positive': [21], 'programs.': [23], 'In': [24], 'this': [25], 'way': [26], 'we': [27, 53, 58], 'provide': [28], 'alternative': [30], 'negation': [38], 'to': [39], 'one': [41], 'proposed': [42, 89], '[6].': [44], 'As': [45], 'immediate': [47], 'useful': [48], 'consequence': [49], 'of': [50, 62], 'our': [51], 'developments,': [52], 'define': [54], 'language': [57], 'consider': [59], 'notions': [61, 72], 'stratification': [63], 'and': [64, 82], 'local': [65], 'stratification,': [66], 'which': [67], 'generalize': [68], 'familiar': [70], 'such': [71], 'from': [73], 'classical': [74], 'programming.': [76], 'demonstrate': [78], 'stratified': [81, 84], 'locally': [83], 'programs,': [87], 'never': [91], 'assigns': [92], 'unknown': [94], 'truth': [95], 'value.': [96]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2541650181', 'counts_by_year': [{'year': 2018, 'cited_by_count': 2}, {'year': 2017, 'cited_by_count': 1}], 'updated_date': '2024-09-18T20:27:34.509997', 'created_date': '2016-11-04'}