{"id":"https://openalex.org/W4403792844","doi":"https://doi.org/10.24963/kr.2024/21","title":"Contracted Temporal Equilibrium Logic","display_name":"Contracted Temporal Equilibrium Logic","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792844","doi":"https://doi.org/10.24963/kr.2024/21"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/21","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/21","pdf_url":"https://proceedings.kr.org/2024/21/kr2024-0021-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 TwentyFirst 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/2024/21/kr2024-0021-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"],"affiliations":[{"raw_affiliation_string":"University of A Coru\u00f1a","institution_ids":["https://openalex.org/I11019714"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Thomas Eiter","raw_affiliation_strings":["Technische Universit\u00e4t Wien"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092536649","display_name":"Davide Sold\u00e0","orcid":"https://orcid.org/0000-0001-7535-5605"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Davide Sold\u00e0","raw_affiliation_strings":["Technische Universit\u00e4t Wien"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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":0,"citation_normalized_percentile":{"value":0.16470316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"231"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8880000114440918,"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.8880000114440918,"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/T10991","display_name":"Game Theory and Voting Systems","score":0.847599983215332,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.8414000272750854,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.552341639995575},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5344350337982178},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1750643253326416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.552341639995575},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5344350337982178},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1750643253326416}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/21","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/21","pdf_url":"https://proceedings.kr.org/2024/21/kr2024-0021-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 TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/21","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/21","pdf_url":"https://proceedings.kr.org/2024/21/kr2024-0021-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 TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G630843984","display_name":"Logics for Computer Science Program at TU Wien","funder_award_id":"101034440","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792844.pdf","grobid_xml":"https://content.openalex.org/works/W4403792844.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0,127],"stable":[1,30,135],"model":[2,121],"semantics":[3],"of":[4,26,52,80,98,107,119,178],"logic":[5,25,62,156],"programs":[6],"has":[7,37],"been":[8,38],"characterized":[9],"by":[10],"Equilibrium":[11,61],"Logic,":[12],"which":[13],"is":[14],"a":[15,89,101,105,120,124,145],"non-monotonic":[16],"formalism":[17],"that":[18,74,91,139],"selects":[19],"models":[20,31,71,130,136],"from":[21],"the":[22,50,81,96,163,172,175],"(monotonic)":[23],"intermediate":[24],"Here-and-There.":[27],"It":[28],"provides":[29],"for":[32],"arbitrary":[33],"propositional":[34],"formulas":[35],"and":[36,114,158,167,169],"fruitfully":[39],"extended":[40],"to":[41,59,155,165,174],"different":[42],"modal":[43],"languages.":[44],"Among":[45],"them":[46],"are":[47,72],"theories":[48],"in":[49,92,100,137,170],"syntax":[51],"Linear-Time":[53],"Temporal":[54,60,66],"Logic":[55],"(LTL),":[56],"giving":[57],"rise":[58],"(TEL)":[63],"based":[64],"on":[65,117,123,151],"Here-and-There":[67],"(THT).":[68],"In":[69,84],"TEL,":[70],"selected":[73],"minimize":[75],"truth":[76],"among":[77],"THT":[78,113],"traces":[79],"same":[82],"length.":[83],"this":[85],"paper,":[86],"we":[87],"consider":[88],"selection":[90,122],"addition":[93],"may":[94],"reduce":[95],"number":[97],"transitions":[99],"trace,":[102],"intuitively":[103],"forming":[104],"contraction":[106,150],"it.":[108],"We":[109,148],"thus":[110],"introduce":[111],"contracted":[112,115],"TEL":[116,138,166],"top":[118],"logical":[125],"basis.":[126],"resulting":[128],"c-stable":[129],"can":[131,140],"be":[132,142],"viewed":[133],"as":[134],"not":[141],"summarized":[143],"into":[144],"smaller":[146],"trace.":[147],"illustrate":[149],"several":[152,160],"examples":[153],"related":[154],"programming":[157],"explore":[159],"properties,":[161],"like":[162],"relation":[164],"LTL,":[168],"particular":[171],"connection":[173],"LTL":[176],"property":[177],"stuttering.":[179]},"counts_by_year":[],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}