{"id":"https://openalex.org/W4323903917","doi":"https://doi.org/10.1007/978-3-031-27181-6_12","title":"Verification of\u00a0Numeric Planning Problems Through Domain Dynamic Consistency","display_name":"Verification of\u00a0Numeric Planning Problems Through Domain Dynamic Consistency","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4323903917","doi":"https://doi.org/10.1007/978-3-031-27181-6_12"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-27181-6_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-27181-6_12","pdf_url":null,"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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.hud.ac.uk/ws/files/51690012/aixia_DDC.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048276166","display_name":"Enrico Scala","orcid":"https://orcid.org/0000-0003-2274-875X"},"institutions":[{"id":"https://openalex.org/I79940851","display_name":"University of Brescia","ror":"https://ror.org/02q2d2610","country_code":"IT","type":"education","lineage":["https://openalex.org/I79940851"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Enrico Scala","raw_affiliation_strings":["Universit\u00e0 degli Studi di Brescia, Brescia, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Brescia, Brescia, Italy","institution_ids":["https://openalex.org/I79940851"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010229910","display_name":"T.L. McCluskey","orcid":"https://orcid.org/0000-0001-8181-8127"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thomas L. McCluskey","raw_affiliation_strings":["University of Huddersfield, Huddersfield, UK"],"affiliations":[{"raw_affiliation_string":"University of Huddersfield, Huddersfield, UK","institution_ids":["https://openalex.org/I133837150"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086585008","display_name":"Mauro Vallati","orcid":"https://orcid.org/0000-0002-8429-3570"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mauro Vallati","raw_affiliation_strings":["University of Huddersfield, Huddersfield, UK"],"affiliations":[{"raw_affiliation_string":"University of Huddersfield, Huddersfield, UK","institution_ids":["https://openalex.org/I133837150"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048276166"],"corresponding_institution_ids":["https://openalex.org/I79940851"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.5836,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.8243991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"171","last_page":"183"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9998000264167786,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9944999814033508,"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/computer-science","display_name":"Computer science","score":0.8688091039657593},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7306057214736938},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7177098989486694},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.702255368232727},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5484406352043152},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.5222790241241455},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44688481092453003},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32480111718177795},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.10729140043258667},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0729324221611023}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8688091039657593},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7306057214736938},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7177098989486694},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.702255368232727},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5484406352043152},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.5222790241241455},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44688481092453003},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32480111718177795},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.10729140043258667},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0729324221611023},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-27181-6_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-27181-6_12","pdf_url":null,"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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/2e4f006f-7774-4ae2-afe6-db46e9c71724","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/2e4f006f-7774-4ae2-afe6-db46e9c71724","pdf_url":"https://pure.hud.ac.uk/ws/files/51690012/aixia_DDC.pdf","source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scala, E, McCluskey, L & Vallati, M 2023, Verification of Numeric Planning Problems through Domain Dynamic Consistency. in A Dovier, A Montanari & A Orlandini (eds), AIxIA 2022 \u2013 Advances in Artificial Intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 \u2013 December 2, 2022, Proceedings. 1st edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13796 LNAI, Springer, Cham, pp. 171-183, 21st International conference of the Italian association for Artificial Intelligence, Udine, Italy, 28/11/22. https://doi.org/10.1007/978-3-031-27181-6_12","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:iris.unibs.it:11379/574026","is_oa":false,"landing_page_url":"https://hdl.handle.net/11379/574026","pdf_url":null,"source":{"id":"https://openalex.org/S4306400804","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Brescia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/2e4f006f-7774-4ae2-afe6-db46e9c71724","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/2e4f006f-7774-4ae2-afe6-db46e9c71724","pdf_url":"https://pure.hud.ac.uk/ws/files/51690012/aixia_DDC.pdf","source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scala, E, McCluskey, L & Vallati, M 2023, Verification of Numeric Planning Problems through Domain Dynamic Consistency. in A Dovier, A Montanari & A Orlandini (eds), AIxIA 2022 \u2013 Advances in Artificial Intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 \u2013 December 2, 2022, Proceedings. 1st edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13796 LNAI, Springer, Cham, pp. 171-183, 21st International conference of the Italian association for Artificial Intelligence, Udine, Italy, 28/11/22. https://doi.org/10.1007/978-3-031-27181-6_12","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.8399999737739563,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G8235522159","display_name":null,"funder_award_id":"MR/T041196/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4323903917.pdf"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1507872748","https://openalex.org/W1605083141","https://openalex.org/W1968186546","https://openalex.org/W2022014177","https://openalex.org/W2119709400","https://openalex.org/W2122054842","https://openalex.org/W2134029974","https://openalex.org/W2150952649","https://openalex.org/W2180713429","https://openalex.org/W2257324456","https://openalex.org/W2309510604","https://openalex.org/W2395329233","https://openalex.org/W2479648088","https://openalex.org/W2602753196","https://openalex.org/W2609733783","https://openalex.org/W2624925384","https://openalex.org/W2728174733","https://openalex.org/W2770689150","https://openalex.org/W3048427244","https://openalex.org/W3117414135","https://openalex.org/W4212853024","https://openalex.org/W6607099389"],"related_works":["https://openalex.org/W2348909947","https://openalex.org/W4292672442","https://openalex.org/W2362101859","https://openalex.org/W2791431590","https://openalex.org/W2941610985","https://openalex.org/W4235810826","https://openalex.org/W2350688482","https://openalex.org/W2122135111","https://openalex.org/W2053575972","https://openalex.org/W1518172465"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2023-03-12T00:00:00"}