{"id":"https://openalex.org/W4210351385","doi":"https://doi.org/10.1093/logcom/exac003","title":"Extending dynamic logic with refinements of abstract actions","display_name":"Extending dynamic logic with refinements of abstract actions","publication_year":2022,"publication_date":"2022-01-27","ids":{"openalex":"https://openalex.org/W4210351385","doi":"https://doi.org/10.1093/logcom/exac003"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exac003","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exac003","pdf_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exac003/42601277/exac003.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exac003/42601277/exac003.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111483082","display_name":"Nico Roos","orcid":null},"institutions":[{"id":"https://openalex.org/I34352273","display_name":"Maastricht University","ror":"https://ror.org/02jz4aj89","country_code":"NL","type":"education","lineage":["https://openalex.org/I34352273"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Nico Roos","raw_affiliation_strings":["Maastricht University , Data Science and Knowledge Engineering, P.O. Box 616, 6200 MD Maastricht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Maastricht University , Data Science and Knowledge Engineering, P.O. Box 616, 6200 MD Maastricht, The Netherlands","institution_ids":["https://openalex.org/I34352273"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5111483082"],"corresponding_institution_ids":["https://openalex.org/I34352273"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01023332,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"7","first_page":"1317","last_page":"1351"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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":0.9997000098228455,"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.9976000189781189,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9975000023841858,"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/relation","display_name":"Relation (database)","score":0.7375375032424927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6971808075904846},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.6797254085540771},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6633983254432678},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.48234838247299194},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43592357635498047},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.42399969696998596},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.3998848795890808},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3326755166053772},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24235308170318604},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.08748143911361694},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.07278665900230408}],"concepts":[{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.7375375032424927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6971808075904846},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.6797254085540771},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6633983254432678},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.48234838247299194},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43592357635498047},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.42399969696998596},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3998848795890808},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3326755166053772},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24235308170318604},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.08748143911361694},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.07278665900230408},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exac003","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exac003","pdf_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exac003/42601277/exac003.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:cris.maastrichtuniversity.nl:openaire/8fb28706-1ce5-4447-a280-35f804680b99","is_oa":true,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/8fb28706-1ce5-4447-a280-35f804680b99","pdf_url":null,"source":{"id":"https://openalex.org/S4306402616","display_name":"Research Publications (Maastricht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I34352273","host_organization_name":"Maastricht University","host_organization_lineage":["https://openalex.org/I34352273"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Roos, N 2022, 'Extending dynamic logic with refinements of abstract actions', Journal of Logic and Computation, vol. 32, no. 7, pp. 1317-1351. https://doi.org/10.1093/logcom/exac003","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1093/logcom/exac003","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exac003","pdf_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exac003/42601277/exac003.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.7599999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4210351385.pdf","grobid_xml":"https://content.openalex.org/works/W4210351385.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W191696817","https://openalex.org/W1555569636","https://openalex.org/W1601452436","https://openalex.org/W1613651675","https://openalex.org/W1964664152","https://openalex.org/W1966552757","https://openalex.org/W1970040536","https://openalex.org/W1991972474","https://openalex.org/W2013766526","https://openalex.org/W2052882335","https://openalex.org/W2053821967","https://openalex.org/W2069709605","https://openalex.org/W2087882226","https://openalex.org/W2089299035","https://openalex.org/W2094502182","https://openalex.org/W2161218164","https://openalex.org/W2163230101","https://openalex.org/W2169937951","https://openalex.org/W2328180392","https://openalex.org/W2337392266","https://openalex.org/W2431139695","https://openalex.org/W2534875928","https://openalex.org/W2541604805","https://openalex.org/W2608239929","https://openalex.org/W2730280132","https://openalex.org/W2913222977","https://openalex.org/W4211144022","https://openalex.org/W4252785764","https://openalex.org/W6600603040","https://openalex.org/W6606744528","https://openalex.org/W6630283923","https://openalex.org/W6679881411","https://openalex.org/W6680341452","https://openalex.org/W6681792284","https://openalex.org/W6684876306","https://openalex.org/W6714265933","https://openalex.org/W6728149336","https://openalex.org/W6792635071","https://openalex.org/W7075376010"],"related_works":["https://openalex.org/W2352495365","https://openalex.org/W592475739","https://openalex.org/W1031601050","https://openalex.org/W2099776859","https://openalex.org/W2128844732","https://openalex.org/W2103740034","https://openalex.org/W1546948343","https://openalex.org/W3009841775","https://openalex.org/W1572612329","https://openalex.org/W2560930356"],"abstract_inverted_index":{"Abstract":[0],"Humans":[1],"can":[2,45],"make":[3],"a":[4,36,49,70,75],"plan":[5],"by":[6],"refining":[7],"abstract":[8,43],"actions.":[9],"Dynamic":[10],"logic,":[11],"which":[12],"enables":[13],"reasoning":[14],"about":[15],"the":[16,30,57,60,63,66],"dynamics":[17],"of":[18,25,32,59,65],"actions,":[19],"does":[20],"not":[21],"support":[22],"this":[23],"form":[24],"planning.":[26],"This":[27],"paper":[28,55],"investigates":[29,56],"extension":[31],"dynamic":[33],"logic":[34],"with":[35],"refinement":[37,61,67],"relation":[38,68],"that":[39],"specifies":[40],"how":[41],"an":[42],"action":[44],"be":[46],"refined":[47],"into":[48],"more":[50],"specific":[51],"(composite)":[52],"action.":[53],"The":[54],"properties":[58],"relation,":[62],"derivation":[64],"and":[69],"proof":[71],"system":[72],"based":[73],"on":[74],"prefixed-tableau.":[76]},"counts_by_year":[],"updated_date":"2026-08-08T07:41:36.138363","created_date":"2025-10-10T00:00:00"}