Publication Information

{'id': 'https://openalex.org/W2136489648', 'doi': 'https://doi.org/10.1007/3-540-58495-1_52', 'title': 'Circumscribing features and fluents: A fluent logic for reasoning about action and change', 'display_name': 'Circumscribing features and fluents: A fluent logic for reasoning about action and change', 'publication_year': 1994, 'publication_date': '1994-01-01', 'ids': {'openalex': 'https://openalex.org/W2136489648', 'doi': 'https://doi.org/10.1007/3-540-58495-1_52', 'mag': '2136489648'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/3-540-58495-1_52', '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': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5043644928', 'display_name': 'Patrick Doherty', 'orcid': 'https://orcid.org/0000-0003-2308-7412'}, 'institutions': [{'id': 'https://openalex.org/I102134673', 'display_name': 'Linköping University', 'ror': 'https://ror.org/05ynxx418', 'country_code': 'SE', 'type': 'education', 'lineage': ['https://openalex.org/I102134673']}], 'countries': ['SE'], 'is_corresponding': False, 'raw_author_name': 'Patrick Doherty', 'raw_affiliation_strings': ['Department of Computer and Information Science, Linköping University, S-58183, Linköping, Sweden'], 'affiliations': [{'raw_affiliation_string': 'Department of Computer and Information Science, Linköping University, S-58183, Linköping, Sweden', 'institution_ids': ['https://openalex.org/I102134673']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5045311766', 'display_name': 'Witold Łukaszewicz', 'orcid': 'https://orcid.org/0000-0002-7916-4803'}, 'institutions': [{'id': 'https://openalex.org/I4654613', 'display_name': 'University of Warsaw', 'ror': 'https://ror.org/039bjqg32', 'country_code': 'PL', 'type': 'education', 'lineage': ['https://openalex.org/I4654613']}], 'countries': ['PL'], 'is_corresponding': False, 'raw_author_name': 'Witold łukaszewicz', 'raw_affiliation_strings': ['Institute of Informatics, Warsaw University, 00-913, Warsaw 59, Poland'], 'affiliations': [{'raw_affiliation_string': 'Institute of Informatics, Warsaw University, 00-913, Warsaw 59, Poland', 'institution_ids': ['https://openalex.org/I4654613']}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': {'value': 5000, 'currency': 'EUR', 'value_usd': 5392, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': False, 'cited_by_count': 6, 'citation_normalized_percentile': {'value': 0.575827, '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': '521', 'last_page': '530'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic Programming and Knowledge Representation', 'score': 0.9998, '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.9998, '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.9942, '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': 'Methods and Techniques for Agent-Based Modeling', 'score': 0.9886, '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/circumscription', 'display_name': 'Circumscription', 'score': 0.88057125}, {'id': 'https://openalex.org/keywords/non-monotonic-logic', 'display_name': 'Non-monotonic logic', 'score': 0.6540228}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.552144}, {'id': 'https://openalex.org/keywords/representation', 'display_name': 'Representation (politics)', 'score': 0.5457463}, {'id': 'https://openalex.org/keywords/argumentation-frameworks', 'display_name': 'Argumentation Frameworks', 'score': 0.529058}, {'id': 'https://openalex.org/keywords/dialectical-argumentation', 'display_name': 'Dialectical Argumentation', 'score': 0.511455}, {'id': 'https://openalex.org/keywords/temporal-logic', 'display_name': 'Temporal Logic', 'score': 0.510351}, {'id': 'https://openalex.org/keywords/nonmonotonic-reasoning', 'display_name': 'Nonmonotonic Reasoning', 'score': 0.505523}, {'id': 'https://openalex.org/keywords/frame-problem', 'display_name': 'Frame problem', 'score': 0.42925087}], 'concepts': [{'id': 'https://openalex.org/C62360110', 'wikidata': 'https://www.wikidata.org/wiki/Q96777007', 'display_name': 'Circumscription', 'level': 2, 'score': 0.88057125}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.76262355}, {'id': 'https://openalex.org/C134752490', 'wikidata': 'https://www.wikidata.org/wiki/Q374182', 'display_name': 'Logical consequence', 'level': 2, 'score': 0.7189624}, {'id': 'https://openalex.org/C159032336', 'wikidata': 'https://www.wikidata.org/wiki/Q2488768', 'display_name': 'Non-monotonic logic', 'level': 2, 'score': 0.6540228}, {'id': 'https://openalex.org/C2776359362', 'wikidata': 'https://www.wikidata.org/wiki/Q2145286', 'display_name': 'Representation (politics)', 'level': 3, 'score': 0.5457463}, {'id': 'https://openalex.org/C2777212361', 'wikidata': 'https://www.wikidata.org/wiki/Q5127848', 'display_name': 'Class (philosophy)', 'level': 2, 'score': 0.5400958}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.53080845}, {'id': 'https://openalex.org/C2780791683', 'wikidata': 'https://www.wikidata.org/wiki/Q846785', 'display_name': 'Action (physics)', 'level': 2, 'score': 0.52860254}, {'id': 'https://openalex.org/C161301231', 'wikidata': 'https://www.wikidata.org/wiki/Q3478658', 'display_name': 'Knowledge representation and reasoning', 'level': 2, 'score': 0.50367254}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.46806303}, {'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.4659926}, {'id': 'https://openalex.org/C5065155', 'wikidata': 'https://www.wikidata.org/wiki/Q1185775', 'display_name': 'Frame problem', 'level': 2, 'score': 0.42925087}, {'id': 'https://openalex.org/C48103436', 'wikidata': 'https://www.wikidata.org/wiki/Q599031', 'display_name': 'State (computer science)', 'level': 2, 'score': 0.4157402}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.27093285}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, '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/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.1007/3-540-58495-1_52', '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}], 'best_oa_location': None, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/4', 'display_name': 'Quality education', 'score': 0.8}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 11, 'referenced_works': ['https://openalex.org/W12750868', 'https://openalex.org/W138414955', 'https://openalex.org/W140414481', 'https://openalex.org/W1488831927', 'https://openalex.org/W1505436358', 'https://openalex.org/W1599735882', 'https://openalex.org/W18602944', 'https://openalex.org/W1905252874', 'https://openalex.org/W4388321227', 'https://openalex.org/W81942528', 'https://openalex.org/W95060067'], 'related_works': ['https://openalex.org/W82383519', 'https://openalex.org/W59439889', 'https://openalex.org/W4385437137', 'https://openalex.org/W2595762659', 'https://openalex.org/W2044503422', 'https://openalex.org/W2017956822', 'https://openalex.org/W2008106366', 'https://openalex.org/W1574564386', 'https://openalex.org/W1537171008', 'https://openalex.org/W1536590331'], 'abstract_inverted_index': {'Sandewall': [0], 'has': [1], 'recently': [2], 'proposed': [3], 'a': [4, 17, 81], 'systematic': [5], 'approach': [6], 'to': [7, 22, 64], 'the': [8, 24, 40, 102, 112, 118, 123, 144, 150], 'representation': [9], 'of': [10, 26, 28, 39, 44, 54, 60, 68, 70, 73, 78, 86, 105, 111, 122, 140, 149, 154], 'knowledge': [11], 'about': [12], 'dynamical': [13], 'systems': [14], 'that': [15, 97], 'includes': [16, 109, 130], 'general': [18], 'framework': [19], 'in': [20, 76, 117], 'which': [21, 100], 'assess': [23], 'range': [25], 'applicability': [27], 'existing': [29], 'and': [30, 35, 49, 91, 108, 146, 152], 'new': [31], 'logics': [32, 43, 126], 'for': [33, 51], 'action': [34, 55, 106], 'change.': [36], 'As': [37], 'part': [38], 'framework,': [41], 'several': [42, 69], 'preferential': [45, 74], 'entailment': [46, 75], 'are': [47], 'introduced': [48], 'assessed': [50], 'particular': [52], 'classes': [53], 'scenario': [56], 'descriptions.': [57], 'The': [58, 128], 'intent': [59], 'this': [61], 'paper': [62], 'is': [63, 120], 'provide': [65], 'syntactic': [66], 'characterizations': [67], 'these': [71], 'relations': [72], 'terms': [77, 90], 'circumscription': [79], 'with': [80, 88, 132, 136], 'standard': [82], 'base': [83], 'logic': [84], 'consisting': [85], 'FOPC': [87], 'temporal': [89], 'discrete': [92], 'time.': [93], 'It': [94], 'turns': [95], 'out': [96], 'occluded': [98], 'circumscription,': [99], 'covers': [101], 'broadest': [103], 'class': [104, 129], 'scenarios,': [107], 'many': [110], 'most': [113, 124], 'problematic': [114], 'scenarios': [115, 131], 'studied': [116], 'literature,': [119], 'one': [121], 'straightforward': [125], 'considered.': [127], 'non-deterministic': [133], 'actions,': [134], 'actions': [135], 'duration,': [137], 'partial': [138], 'specification': [139, 148], 'any': [141], 'state': [142], 'including': [143], 'first,': [145], 'incomplete': [147], 'timing': [151], 'order': [153], 'actions.': [155]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2136489648', 'counts_by_year': [], 'updated_date': '2024-09-25T07:56:01.942246', 'created_date': '2016-06-24'}