{"id":"https://openalex.org/W2740088853","doi":"https://doi.org/10.24963/ijcai.2017/140","title":"Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints","display_name":"Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints","publication_year":2017,"publication_date":"2017-07-28","ids":{"openalex":"https://openalex.org/W2740088853","doi":"https://doi.org/10.24963/ijcai.2017/140","mag":"2740088853"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2017/140","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/140","pdf_url":"https://www.ijcai.org/proceedings/2017/0140.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2017/0140.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033663075","display_name":"Dario Della Monica","orcid":"https://orcid.org/0000-0001-9743-665X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]},{"id":"https://openalex.org/I4210108560","display_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Napoli","ror":"https://ror.org/015kcdd40","country_code":"IT","type":"facility","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210108560"]}],"countries":["ES","IT"],"is_corresponding":false,"raw_author_name":"Dario Della Monica","raw_affiliation_strings":["Universidad Complutense de Madrid, Spain","Universit\u00e0 di Napoli, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Complutense de Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Universit\u00e0 di Napoli, Italy","institution_ids":["https://openalex.org/I4210108560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070497827","display_name":"Nicola Gigante","orcid":"https://orcid.org/0000-0002-2254-4821"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Gigante","raw_affiliation_strings":["Universit\u00e0 di Udine, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Udine, Italy","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015702335","display_name":"Angelo Montanari","orcid":"https://orcid.org/0000-0002-4322-769X"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Angelo Montanari","raw_affiliation_strings":["Universit\u00e0 di Udine, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Udine, Italy","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050753589","display_name":"Pietro Sala","orcid":"https://orcid.org/0000-0002-2612-1519"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Pietro Sala","raw_affiliation_strings":["Universit\u00e0 di Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003911860","display_name":"Guido Sciavicco","orcid":"https://orcid.org/0000-0002-9221-879X"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Guido Sciavicco","raw_affiliation_strings":["Universit\u00e0 di Ferrara, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Ferrara, Italy","institution_ids":["https://openalex.org/I201324441"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1455,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.80310258,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1008","last_page":"1014"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9987999796867371,"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/timeline","display_name":"Timeline","score":0.9411171674728394},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.7238304018974304},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7057915329933167},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6960678696632385},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6181960105895996},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6162154674530029},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.5628064274787903},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.45834705233573914},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37093523144721985},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23775720596313477}],"concepts":[{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.9411171674728394},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7238304018974304},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7057915329933167},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6960678696632385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6181960105895996},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6162154674530029},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.5628064274787903},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45834705233573914},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37093523144721985},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23775720596313477},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.24963/ijcai.2017/140","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/140","pdf_url":"https://www.ijcai.org/proceedings/2017/0140.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:air.uniud.it:11390/1127728","is_oa":true,"landing_page_url":"http://hdl.handle.net/11390/1127728","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:iris.unife.it:11392/2373971","is_oa":false,"landing_page_url":"http://hdl.handle.net/11392/2373971","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"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/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2017/140","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/140","pdf_url":"https://www.ijcai.org/proceedings/2017/0140.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.75}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2740088853.pdf","grobid_xml":"https://content.openalex.org/works/W2740088853.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W160132717","https://openalex.org/W178126370","https://openalex.org/W587958341","https://openalex.org/W1540180001","https://openalex.org/W1982302236","https://openalex.org/W1993457892","https://openalex.org/W2007056518","https://openalex.org/W2023808162","https://openalex.org/W2028630964","https://openalex.org/W2081421381","https://openalex.org/W2119709400","https://openalex.org/W2161484642","https://openalex.org/W2171701192","https://openalex.org/W2187367468","https://openalex.org/W2195359882","https://openalex.org/W2291159501","https://openalex.org/W2559882992"],"related_works":["https://openalex.org/W55334476","https://openalex.org/W4232446061","https://openalex.org/W1592102986","https://openalex.org/W2124110813","https://openalex.org/W2092656858","https://openalex.org/W4285022830","https://openalex.org/W2077520193","https://openalex.org/W2996932295","https://openalex.org/W4387188591","https://openalex.org/W2350953867"],"abstract_inverted_index":{"Within":[0],"the":[1,110,121],"timeline-based":[2,72,79],"framework,":[3],"planning":[4,28,73,80,131],"problems":[5],"are":[6,43],"modeled":[7],"as":[8],"sets":[9],"of":[10,24,36,92,105,112],"independent,":[11],"but":[12,39],"interacting,":[13],"components":[14],"whose":[15],"behavior":[16],"over":[17],"time":[18],"is":[19,29,52,102,124],"described":[20],"by":[21,88],"a":[22,34,64,89,116],"set":[23],"temporal":[25,83,129],"constraints.":[26],"Timeline-based":[27],"being":[30],"used":[31],"successfully":[32],"in":[33],"number":[35],"complex":[37],"tasks,":[38],"its":[40],"theoretical":[41],"properties":[42],"not":[44,69],"so":[45],"well":[46],"studied.":[47],"In":[48],"particular,":[49],"while":[50],"it":[51],"known":[53],"that":[54,78,120],"Linear":[55],"Temporal":[56,95],"Logic":[57],"(LTL)":[58],"can":[59,85],"capture":[60,128],"classical":[61],"action-based":[62,130],"planning,":[63],"similar":[65],"logical":[66],"characterization":[67],"was":[68],"available":[70],"for":[71,109],"formalisms.":[74],"This":[75],"paper":[76],"shows":[77],"with":[81,98],"bounded":[82,90],"constraints":[84],"be":[86],"captured":[87],"version":[91],"Timed":[93],"Propositional":[94],"Logic,":[96],"augmented":[97],"past":[99],"operators,":[100],"which":[101],"an":[103],"extension":[104],"LTL":[106],"originally":[107],"designed":[108],"verification":[111],"real-time":[113],"systems.":[114],"As":[115],"byproduct,":[117],"we":[118],"get":[119],"proposed":[122],"logic":[123],"expressive":[125],"enough":[126],"to":[127],"problems.":[132]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2017-08-08T00:00:00"}