{"id":"https://openalex.org/W2407000793","doi":"https://doi.org/10.3233/978-1-61499-419-0-939","title":"Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions","display_name":"Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2407000793","doi":"https://doi.org/10.3233/978-1-61499-419-0-939","mag":"2407000793"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-419-0-939","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-419-0-939","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-61499-419-0-939","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zarrieß Benjamin","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Zarrieß Benjamin","raw_affiliation_strings":["Theoretical Computer Science, TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science, TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":null,"display_name":"Claßen Jens","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Claßen Jens","raw_affiliation_strings":["Knowledge-Based Systems Group, RWTH Aachen University, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge-Based Systems Group, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3169,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.92524401,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"939","last_page":"944"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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.9994000196456909,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9966999888420105,"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.477855384349823},{"id":"https://openalex.org/keywords/ctl*","display_name":"CTL*","score":0.46552082896232605},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34227025508880615},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.18180277943611145}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.477855384349823},{"id":"https://openalex.org/C147969180","wikidata":"https://www.wikidata.org/wiki/Q5014579","display_name":"CTL*","level":4,"score":0.46552082896232605},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34227025508880615},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.18180277943611145},{"id":"https://openalex.org/C154317977","wikidata":"https://www.wikidata.org/wiki/Q376266","display_name":"Cytotoxic T cell","level":3,"score":0.0},{"id":"https://openalex.org/C202751555","wikidata":"https://www.wikidata.org/wiki/Q221681","display_name":"In vitro","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-419-0-939","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-419-0-939","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:2407000793","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#ZarriessC14","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":{"id":"doi:10.3233/978-1-61499-419-0-939","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-61499-419-0-939","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W49077064","https://openalex.org/W130404319","https://openalex.org/W194658220","https://openalex.org/W1555563750","https://openalex.org/W1590016351","https://openalex.org/W1624012751","https://openalex.org/W1691564963","https://openalex.org/W1971102936","https://openalex.org/W1986563142","https://openalex.org/W2004306067","https://openalex.org/W2025270539","https://openalex.org/W2031280719","https://openalex.org/W2038809129","https://openalex.org/W2045474169","https://openalex.org/W2062205093","https://openalex.org/W2099613024","https://openalex.org/W2138162238","https://openalex.org/W2147520802","https://openalex.org/W2169033759","https://openalex.org/W2173435042"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3092676535","https://openalex.org/W2324120656","https://openalex.org/W1549922507","https://openalex.org/W1605884721","https://openalex.org/W1985728487","https://openalex.org/W2032919665","https://openalex.org/W2102262438"],"abstract_inverted_index":{"GOLOG":[0,144],"is":[1,16,33,46,84,106,125],"a":[2,21,31,97,115,141],"high-level":[3],"action":[4,23,153],"programming":[5],"language":[6],"for":[7],"controlling":[8],"autonomous":[9],"agents":[10],"such":[11],"as":[12],"mobile":[13],"robots.":[14],"It":[15],"defined":[17],"on":[18],"top":[19],"of":[20,77,101,118,143],"logic-based":[22],"theory":[24,154],"expressed":[25,59,113],"in":[26,41,85,114],"the":[27,42,67,73,78,80,102,119,131,152],"Situation":[28],"Calculus.":[29],"Before":[30],"program":[32],"deployed":[34],"onto":[35],"an":[36],"actual":[37],"robot":[38],"and":[39,63,149],"executed":[40],"physical":[43],"world,":[44],"it":[45,54],"desirable,":[47],"if":[48],"not":[49],"crucial,":[50],"to":[51,72,95,130,155],"verify":[52],"that":[53],"meets":[55],"certain":[56],"requirements":[57],"(typically":[58],"through":[60],"temporal":[61,121],"formulas)":[62],"thus":[64],"indeed":[65],"exhibits":[66],"desired":[68],"behaviour.":[69],"However,":[70],"due":[71],"high":[74],"(first-order)":[75],"expressiveness":[76],"language,":[79],"corresponding":[81],"verification":[82,105],"problem":[83],"general":[86],"undecidable.":[87],"In":[88,108],"this":[89],"paper,":[90],"we":[91,110],"extend":[92],"earlier":[93],"results":[94],"identify":[96],"large,":[98],"non-trivial":[99],"fragment":[100,134,142],"formalism":[103],"where":[104],"decidable.":[107],"particular,":[109],"consider":[111],"properties":[112],"first-order":[116,133],"variant":[117],"branching-time":[120],"logic":[122],"CTL*.":[123],"Decidability":[124],"obtained":[126],"by":[127],"(1)":[128],"resorting":[129],"decidable":[132],"C2as":[135],"underlying":[136],"base":[137],"logic,":[138],"(2)":[139],"using":[140],"with":[145],"ground":[146],"actions":[147],"only,":[148],"(3)":[150],"requiring":[151],"only":[156],"admit":[157],"local":[158],"effects.":[159]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2016-06-24T00:00:00"}