{"id":"https://openalex.org/W3081326849","doi":"https://doi.org/10.24963/kr.2020/19","title":"Spatial Reasoning about String Loops and Holes in Temporal ASP","display_name":"Spatial Reasoning about String Loops and Holes in Temporal ASP","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081326849","doi":"https://doi.org/10.24963/kr.2020/19","mag":"3081326849"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/19","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/19","pdf_url":"https://proceedings.kr.org/2020/19/kr2020-0019-cabalar-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/19/kr2020-0019-cabalar-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028323744","display_name":"Pedro Cabalar","orcid":"https://orcid.org/0000-0001-7440-0953"},"institutions":[{"id":"https://openalex.org/I11019714","display_name":"Universidade da Coru\u00f1a","ror":"https://ror.org/01qckj285","country_code":"ES","type":"education","lineage":["https://openalex.org/I11019714"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pedro Cabalar","raw_affiliation_strings":["University of A Coru\u00f1a, Spain"],"affiliations":[{"raw_affiliation_string":"University of A Coru\u00f1a, Spain","institution_ids":["https://openalex.org/I11019714"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001663435","display_name":"Paulo E. Santos","orcid":"https://orcid.org/0000-0001-8484-0354"},"institutions":[{"id":"https://openalex.org/I139221136","display_name":"Centro Universit\u00e1rio FEI","ror":"https://ror.org/007kf5222","country_code":"BR","type":"education","lineage":["https://openalex.org/I139221136"]},{"id":"https://openalex.org/I169541294","display_name":"Flinders University","ror":"https://ror.org/01kpzv902","country_code":"AU","type":"education","lineage":["https://openalex.org/I169541294"]}],"countries":["AU","BR"],"is_corresponding":false,"raw_author_name":"Paulo E. Santos","raw_affiliation_strings":["FEI, S\u00e3o Paulo, Brazil","Flinders University, Adelaide, Australia"],"affiliations":[{"raw_affiliation_string":"FEI, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I139221136"]},{"raw_affiliation_string":"Flinders University, Adelaide, Australia","institution_ids":["https://openalex.org/I169541294"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028323744"],"corresponding_institution_ids":["https://openalex.org/I11019714"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.09905014,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"182","last_page":"192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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/T10215","display_name":"Semantic Web and Ontologies","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"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9977999925613403,"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.7198833227157593},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6973481178283691},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.6194345951080322},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5427286028862},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4818876385688782},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.48039156198501587},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43921852111816406},{"id":"https://openalex.org/keywords/inertia","display_name":"Inertia","score":0.4384862780570984},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35826098918914795},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3133223056793213},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.12288695573806763},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09010511636734009}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7198833227157593},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6973481178283691},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.6194345951080322},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5427286028862},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4818876385688782},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.48039156198501587},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43921852111816406},{"id":"https://openalex.org/C110407247","wikidata":"https://www.wikidata.org/wiki/Q122508","display_name":"Inertia","level":2,"score":0.4384862780570984},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35826098918914795},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3133223056793213},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.12288695573806763},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09010511636734009},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2020/19","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/19","pdf_url":"https://proceedings.kr.org/2020/19/kr2020-0019-cabalar-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/19","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/19","pdf_url":"https://proceedings.kr.org/2020/19/kr2020-0019-cabalar-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4099999964237213}],"awards":[{"id":"https://openalex.org/G2985464613","display_name":null,"funder_award_id":"ED431B 2019/0","funder_id":"https://openalex.org/F4320326655","funder_display_name":"Xunta de Galicia"},{"id":"https://openalex.org/G5233079459","display_name":null,"funder_award_id":"GPC_ED431B","funder_id":"https://openalex.org/F4320326655","funder_display_name":"Xunta de Galicia"},{"id":"https://openalex.org/G6258374248","display_name":null,"funder_award_id":"ED431B","funder_id":"https://openalex.org/F4320326655","funder_display_name":"Xunta de Galicia"},{"id":"https://openalex.org/G7224627388","display_name":null,"funder_award_id":"ED431","funder_id":"https://openalex.org/F4320326655","funder_display_name":"Xunta de Galicia"},{"id":"https://openalex.org/G7540736248","display_name":null,"funder_award_id":"GPC ED431B 2019/03","funder_id":"https://openalex.org/F4320326655","funder_display_name":"Xunta de Galicia"}],"funders":[{"id":"https://openalex.org/F4320326655","display_name":"Xunta de Galicia","ror":"https://ror.org/0181xnw06"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3081326849.pdf","grobid_xml":"https://content.openalex.org/works/W3081326849.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W189482535","https://openalex.org/W561643437","https://openalex.org/W902615948","https://openalex.org/W1500362640","https://openalex.org/W1616806650","https://openalex.org/W1639901403","https://openalex.org/W1770842667","https://openalex.org/W1985387287","https://openalex.org/W2010155022","https://openalex.org/W2023808162","https://openalex.org/W2058093223","https://openalex.org/W2084127631","https://openalex.org/W2119409989","https://openalex.org/W2123486147","https://openalex.org/W2138162238","https://openalex.org/W2236742996","https://openalex.org/W2335137778","https://openalex.org/W2359557544","https://openalex.org/W2578895614","https://openalex.org/W2808405904","https://openalex.org/W2890523975","https://openalex.org/W2946498291","https://openalex.org/W2977450665","https://openalex.org/W3004696010","https://openalex.org/W3098205448","https://openalex.org/W4298168953","https://openalex.org/W6607716470","https://openalex.org/W6624139205","https://openalex.org/W6630001148","https://openalex.org/W6646395928","https://openalex.org/W6652780583","https://openalex.org/W6656255003","https://openalex.org/W6665089325","https://openalex.org/W6677833281","https://openalex.org/W6678485851","https://openalex.org/W6690194567","https://openalex.org/W6732635222","https://openalex.org/W6750463278","https://openalex.org/W6774071694","https://openalex.org/W6784514166"],"related_works":["https://openalex.org/W1585007175","https://openalex.org/W2382521049","https://openalex.org/W1979758163","https://openalex.org/W2144385241","https://openalex.org/W4300101996","https://openalex.org/W2165950148","https://openalex.org/W2294490033","https://openalex.org/W4253593777","https://openalex.org/W2951497643","https://openalex.org/W4386036352"],"abstract_inverted_index":{"This":[0],"paper":[1,59],"introduces":[2],"a":[3,22,36,41,46,69,90,94,107,133,155,161],"new":[4],"formalism":[5],"for":[6],"the":[7,57,83,120,127,137,151,166,173],"automated":[8,128],"solution":[9],"of":[10,72,82,136,139,142,169,175],"spatial":[11],"scenarios":[12],"involving":[13,157],"strings":[14],"and":[15,67,109,116,164],"holed":[16],"objects.":[17],"In":[18],"particular,":[19],"we":[20,97,148],"revisit":[21],"previous":[23,42],"formalisation":[24,54,168],"that":[25,44,86,131],"allows":[26,132],"string":[27,47,62],"loops":[28,158],"to":[29,48,78,112,172],"be":[30],"treated":[31],"as":[32,64],"holes,":[33],"but":[34],"make":[35],"substantial":[37],"modification":[38],"by":[39,75,89,126,160],"removing":[40],"limitation":[43],"prevented":[45],"cross":[49],"its":[50,170],"own":[51],"loops.":[52],"The":[53],"introduced":[55],"in":[56],"present":[58],"relies":[60],"on":[61],"segments":[63],"basic":[65],"entities":[66],"achieves":[68],"greater":[70],"degree":[71],"elaboration":[73],"tolerance":[74],"using":[76],"inertia":[77,117],"describe":[79],"those":[80],"parts":[81],"physical":[84],"scenario":[85],"are":[87],"unaffected":[88],"given":[91],"action.":[92],"As":[93,144],"representation":[95],"language,":[96],"have":[98,149],"used":[99],"Temporal":[100],"Answer":[101],"Set":[102],"Programming":[103],"since":[104],"it":[105,123],"provides":[106],"simple":[108],"natural":[110],"way":[111],"deal":[113],"with":[114],"time":[115],"while,":[118],"at":[119],"same":[121],"time,":[122],"is":[124],"accompanied":[125],"tool":[129],"'telingo'":[130],"systematic":[134],"testing":[135],"effects":[138],"any":[140],"sequence":[141],"actions.":[143],"an":[145],"illustrative":[146],"example,":[147],"studied":[150],"African":[152],"Ring":[153],"puzzle,":[154],"problem":[156],"crossed":[159],"unique":[162],"string,":[163],"provided":[165],"first":[167],"solution,":[171],"best":[174],"our":[176],"knowledge.":[177]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}