{"id":"https://openalex.org/W1482379735","doi":"https://doi.org/10.3233/ia-140063","title":"Planning meets verification and validation in a knowledge engineering environment","display_name":"Planning meets verification and validation in a knowledge engineering environment","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1482379735","doi":"https://doi.org/10.3233/ia-140063","mag":"1482379735"},"language":"en","primary_location":{"id":"doi:10.3233/ia-140063","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ia-140063","pdf_url":null,"source":{"id":"https://openalex.org/S207922018","display_name":"Intelligenza Artificiale","issn_l":"1724-8035","issn":["1724-8035","2211-0097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Intelligenza Artificiale: The international journal of the AIxIA","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020484960","display_name":"Andrea Orlandini","orcid":"https://orcid.org/0000-0001-6458-5202"},"institutions":[{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Andrea Orlandini","raw_affiliation_strings":["CNR \u2013 Consiglio Nazionale delle Ricerche, ISTC, Roma, Italy"],"affiliations":[{"raw_affiliation_string":"CNR \u2013 Consiglio Nazionale delle Ricerche, ISTC, Roma, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037895628","display_name":"Giulio Bernardi","orcid":"https://orcid.org/0000-0002-0000-9764"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giulio Bernardi","raw_affiliation_strings":["CNR \u2013 Consiglio Nazionale delle Ricerche, ISTC, Roma, Italy"],"affiliations":[{"raw_affiliation_string":"CNR \u2013 Consiglio Nazionale delle Ricerche, ISTC, Roma, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008805235","display_name":"Amedeo Cesta","orcid":"https://orcid.org/0000-0002-0703-9122"},"institutions":[{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Amedeo Cesta","raw_affiliation_strings":["CNR \u2013 Consiglio Nazionale delle Ricerche, ISTC, Roma, Italy"],"affiliations":[{"raw_affiliation_string":"CNR \u2013 Consiglio Nazionale delle Ricerche, ISTC, Roma, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049222451","display_name":"Alberto Finzi","orcid":"https://orcid.org/0000-0001-6255-6221"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Finzi","raw_affiliation_strings":["DIETI, Universit\u00e0 di Napoli \u201cFederico II\u201d, Napoli, Italy"],"affiliations":[{"raw_affiliation_string":"DIETI, Universit\u00e0 di Napoli \u201cFederico II\u201d, Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5020484960"],"corresponding_institution_ids":["https://openalex.org/I122991210","https://openalex.org/I4210155236"],"apc_list":null,"apc_paid":null,"fwci":1.7804,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.83701705,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":"1","first_page":"87","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"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.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6495744585990906},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4172404110431671},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38253581523895264},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17087090015411377}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6495744585990906},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4172404110431671},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38253581523895264},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17087090015411377}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/ia-140063","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ia-140063","pdf_url":null,"source":{"id":"https://openalex.org/S207922018","display_name":"Intelligenza Artificiale","issn_l":"1724-8035","issn":["1724-8035","2211-0097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Intelligenza Artificiale: The international journal of the AIxIA","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W8140010","https://openalex.org/W14781952","https://openalex.org/W1502975213","https://openalex.org/W1522982136","https://openalex.org/W1523144692","https://openalex.org/W1563414502","https://openalex.org/W1589904929","https://openalex.org/W1592147779","https://openalex.org/W1812806575","https://openalex.org/W1968186546","https://openalex.org/W1980348251","https://openalex.org/W1982605975","https://openalex.org/W2000947342","https://openalex.org/W2011800728","https://openalex.org/W2087248393","https://openalex.org/W2105515606","https://openalex.org/W2120363536","https://openalex.org/W2130660558","https://openalex.org/W2134318557","https://openalex.org/W2139101939","https://openalex.org/W2144965436","https://openalex.org/W2171701192","https://openalex.org/W2255097866","https://openalex.org/W2291159501"],"related_works":["https://openalex.org/W2374823395","https://openalex.org/W2358927215","https://openalex.org/W2329619884","https://openalex.org/W3202658588","https://openalex.org/W2218692255","https://openalex.org/W2513537424","https://openalex.org/W4206917754","https://openalex.org/W1536050029","https://openalex.org/W2990845110","https://openalex.org/W2640463805"],"abstract_inverted_index":{"The":[0,16,94,123],"attention":[1],"for":[2,28,64,85,163,166],"the":[3,26,74,141,151,154,158,167],"area":[4],"of":[5,18,76,88,145,150,170],"formal":[6,52,62,80],"methods":[7,63],"has":[8],"significantly":[9],"increased":[10],"in":[11,20,58],"AI":[12],"over":[13],"last":[14],"years.":[15],"spreading":[17],"applications":[19],"many":[21],"real":[22],"life":[23],"sectors":[24],"raised":[25],"need":[27],"features":[29,155],"like":[30,101],"robustness,":[31],"structural":[32],"guarantee,":[33],"and":[34,61,66,78,126,143],"safety":[35],"criticality.":[36],"Application":[37],"areas":[38],"where":[39],"planning":[40,60,109,147],"techniques":[41,81],"have":[42],"been":[43],"successfully":[44],"deployed":[45],"are":[46,129,153],"among":[47],"those":[48,102,165],"that":[49,103,113,156],"require":[50],"such":[51],"properties,":[53],"this":[54,69,71],"motivates":[55],"our":[56],"interest":[57],"integrating":[59],"verification":[65,125,135],"validation.":[67],"In":[68],"perspective,":[70],"paper":[72],"describes":[73],"integration":[75],"Verification":[77],"Validation":[79],"within":[82],"an":[83],"environment":[84],"Knowledge":[86],"Engineering":[87],"Planning":[89],"with":[90,111],"Timelines":[91],"called":[92],"KEEN.":[93],"system":[95],"integrates":[96],"\u201cclassical\u201d":[97],"knowledge":[98],"engineering":[99],"features,":[100],"support":[104,140],"users":[105],"when":[106],"defining":[107],"a":[108,133],"domain,":[110],"services":[112],"enable":[114],"domain":[115],"model":[116],"validation,":[117,119],"planner":[118],"plan":[120,159],"verification,":[121],"etc.":[122],"particular":[124],"validation":[127],"capabilities":[128],"obtained":[130],"by":[131],"exploiting":[132],"state-of-the-art":[134],"tool,":[136],"i.e.,":[137],"UPPAAL-TIGA,":[138],"to":[139],"design":[142],"development":[144],"timeline-based":[146],"systems.":[148],"Distinctive":[149],"framework":[152],"assist":[157],"execution":[160],"phase,":[161],"like,":[162],"example,":[164],"automated":[168],"synthesis":[169],"controllers.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}