{"id":"https://openalex.org/W4413741212","doi":"https://doi.org/10.1017/s1471068425100203","title":"Towards Constraint Temporal Answer Set Programming","display_name":"Towards Constraint Temporal Answer Set Programming","publication_year":2025,"publication_date":"2025-07-01","ids":{"openalex":"https://openalex.org/W4413741212","doi":"https://doi.org/10.1017/s1471068425100203"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068425100203","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068425100203","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4629387128BF13EDE65273E904107DF5/S1471068425100203a.pdf/div-class-title-towards-constraint-temporal-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4629387128BF13EDE65273E904107DF5/S1471068425100203a.pdf/div-class-title-towards-constraint-temporal-answer-set-programming-div.pdf","any_repository_has_fulltext":true},"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 Corunna","University of Corunna, Corunna, Spain (e-mail:"],"raw_orcid":"https://orcid.org/0000-0001-7440-0953","affiliations":[{"raw_affiliation_string":"University of Corunna","institution_ids":["https://openalex.org/I11019714"]},{"raw_affiliation_string":"University of Corunna, Corunna, Spain (e-mail:","institution_ids":["https://openalex.org/I11019714"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032071461","display_name":"Mart\u00edn Di\u00e9guez","orcid":"https://orcid.org/0000-0003-3440-4348"},"institutions":[{"id":"https://openalex.org/I49451733","display_name":"Universit\u00e9 d'Angers","ror":"https://ror.org/04yrqp957","country_code":"FR","type":"education","lineage":["https://openalex.org/I49451733"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"MART\u00cdN DI\u00c9GUEZ","raw_affiliation_strings":["University of Angers","University of Angers, Angers, France (e-mail:"],"raw_orcid":"https://orcid.org/0000-0003-3440-4348","affiliations":[{"raw_affiliation_string":"University of Angers","institution_ids":["https://openalex.org/I49451733"]},{"raw_affiliation_string":"University of Angers, Angers, France (e-mail:","institution_ids":["https://openalex.org/I49451733"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114133407","display_name":"Fran\u00e7ois Olivier","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"FRAN\u00c7OIS OLIVIER","raw_affiliation_strings":["CRIL CNRS & Artois University","CRIL CNRS & Artois University, France (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CRIL CNRS & Artois University","institution_ids":["https://openalex.org/I44563897"]},{"raw_affiliation_string":"CRIL CNRS & Artois University, France (e-mail:","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058467603","display_name":"Torsten Schaub","orcid":"https://orcid.org/0000-0002-7456-041X"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]},{"id":"https://openalex.org/I2800638415","display_name":"University of Applied Sciences Potsdam","ror":"https://ror.org/012m9bp23","country_code":"DE","type":"education","lineage":["https://openalex.org/I2800638415"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"TORSTEN SCHAUB","raw_affiliation_strings":["University of Potsdam Potassco Solutions","University of Potsdam, Potsdam, Germany Potassco Solutions, Potsdam, Germany (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-7456-041X","affiliations":[{"raw_affiliation_string":"University of Potsdam Potassco Solutions","institution_ids":["https://openalex.org/I2800638415"]},{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany Potassco Solutions, Potsdam, Germany (e-mail:","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058760922","display_name":"Igor St\u00e9phan","orcid":"https://orcid.org/0009-0005-7531-0091"},"institutions":[{"id":"https://openalex.org/I49451733","display_name":"Universit\u00e9 d'Angers","ror":"https://ror.org/04yrqp957","country_code":"FR","type":"education","lineage":["https://openalex.org/I49451733"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"IGOR ST\u00c9PHAN","raw_affiliation_strings":["University of Angers","University of Angers, Angers, France (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Angers","institution_ids":["https://openalex.org/I49451733"]},{"raw_affiliation_string":"University of Angers, Angers, France (e-mail:","institution_ids":["https://openalex.org/I49451733"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"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.10940861,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"4","first_page":"579","last_page":"594"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9965000152587891,"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.9955999851226807,"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.8787304162979126},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7288804054260254},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5786304473876953},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5128164887428284},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5118178725242615},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5105210542678833},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35554805397987366},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.26469939947128296},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.06962436437606812},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06214424967765808}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8787304162979126},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7288804054260254},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5786304473876953},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5128164887428284},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5118178725242615},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5105210542678833},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35554805397987366},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.26469939947128296},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.06962436437606812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06214424967765808},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068425100203","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068425100203","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4629387128BF13EDE65273E904107DF5/S1471068425100203a.pdf/div-class-title-towards-constraint-temporal-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2507.13958","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2507.13958","pdf_url":"https://arxiv.org/pdf/2507.13958","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-05449441v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05449441","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, 2025, 25 (4), pp.579-594. ⟨10.1017/S1471068425100203⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1017/s1471068425100203","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068425100203","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4629387128BF13EDE65273E904107DF5/S1471068425100203a.pdf/div-class-title-towards-constraint-temporal-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8959074978","display_name":null,"funder_award_id":"SCHA 550/15","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413741212.pdf","grobid_xml":"https://content.openalex.org/works/W4413741212.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W68788396","https://openalex.org/W1527039196","https://openalex.org/W1579017347","https://openalex.org/W2019346963","https://openalex.org/W2152132130","https://openalex.org/W2165851159","https://openalex.org/W2178806509","https://openalex.org/W2426452510","https://openalex.org/W2739386108","https://openalex.org/W2914398864","https://openalex.org/W4200004216","https://openalex.org/W4285601391","https://openalex.org/W4402601173","https://openalex.org/W4403316486"],"related_works":["https://openalex.org/W4291309325","https://openalex.org/W2460803124","https://openalex.org/W2950474130","https://openalex.org/W2737452945","https://openalex.org/W4313469555","https://openalex.org/W1547011777","https://openalex.org/W2748658279","https://openalex.org/W2263461846","https://openalex.org/W1514706798","https://openalex.org/W1985899403"],"abstract_inverted_index":{"Abstract":[0],"Reasoning":[1],"about":[2],"dynamic":[3,120],"systems":[4,121],"with":[5,61,97,122],"a":[6,31,73],"fine-grained":[7],"temporal":[8,33,59,89],"and":[9,28,34,42,92,103],"numeric":[10,106],"resolution":[11,124],"presents":[12],"significant":[13],"challenges":[14],"for":[15,65,117],"logic-based":[16],"approaches":[17],"like":[18],"Answer":[19],"Set":[20],"Programming":[21],"(ASP).":[22],"To":[23],"address":[24],"this,":[25],"we":[26],"introduce":[27],"elaborate":[29],"upon":[30],"novel":[32],"constraint-based":[35],"extension":[36],"of":[37,40,51,76,84,95,105],"the":[38,49,54,81,93,100,113,126],"logic":[39,83,94],"Here-and-There":[41,96],"its":[43],"nonmonotonic":[44,58,88],"equilibrium":[45],"extension,":[46],"representing,":[47],"to":[48,57],"best":[50],"our":[52],"knowledge,":[53],"first":[55],"approach":[56],"reasoning":[60,90],"constraints":[62],"specifically":[63],"tailored":[64],"ASP.":[66],"This":[67,110],"expressive":[68],"system":[69],"is":[70],"achieved":[71],"by":[72],"synergistic":[74],"combination":[75],"two":[77],"foundational":[78,114],"ASP":[79,127],"extensions:":[80],"linear-time":[82],"Here-and-There,":[85],"providing":[86],"robust":[87],"capabilities,":[91],"constraints,":[98,107],"enabling":[99],"direct":[101],"integration":[102],"manipulation":[104],"among":[108],"others.":[109],"work":[111],"establishes":[112],"logical":[115],"framework":[116],"tackling":[118],"complex":[119],"high":[123],"within":[125],"paradigm.":[128]},"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-08-27T00:00:00"}