{"id":"https://openalex.org/W3088092049","doi":"https://doi.org/10.1017/s1471068420000393","title":"ASP (): Answer Set Programming with Algebraic Constraints","display_name":"ASP (): Answer Set Programming with Algebraic Constraints","publication_year":2020,"publication_date":"2020-09-22","ids":{"openalex":"https://openalex.org/W3088092049","doi":"https://doi.org/10.1017/s1471068420000393","mag":"3088092049"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068420000393","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068420000393","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE331F83DA7FC84774F16D7C4D90610D/S1471068420000393a.pdf/div-class-title-asp-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20201019103257095-0563-s1471068420000393-s1471068420000393-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathcal-a-mathcal-c-span-span-span-span-answer-set-programming-with-algebraic-constraints-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":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE331F83DA7FC84774F16D7C4D90610D/S1471068420000393a.pdf/div-class-title-asp-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20201019103257095-0563-s1471068420000393-s1471068420000393-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathcal-a-mathcal-c-span-span-span-span-answer-set-programming-with-algebraic-constraints-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"THOMAS EITER","raw_affiliation_strings":["Technical University Vienna, Vienna, Austria (e-mail:"],"affiliations":[{"raw_affiliation_string":"Technical University Vienna, Vienna, Austria (e-mail:","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076600441","display_name":"Rafael Kiesel","orcid":"https://orcid.org/0000-0002-8866-3452"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"RAFAEL KIESEL","raw_affiliation_strings":["Technical University Vienna, Vienna, Austria (e-mail:"],"affiliations":[{"raw_affiliation_string":"Technical University Vienna, Vienna, Austria (e-mail:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082178480"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4115,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69967864,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"20","issue":"6","first_page":"895","last_page":"910"},"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.9950000047683716,"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.9891999959945679,"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/answer-set-programming","display_name":"Answer set programming","score":0.8746225833892822},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.7337214946746826},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.716022789478302},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7062519788742065},{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.7020459175109863},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.6443068385124207},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.6261739730834961},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5504615306854248},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5467851758003235},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5209363698959351},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5207040905952454},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5130871534347534},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4724994897842407},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37989363074302673},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.31184831261634827},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24469298124313354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2264622449874878},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.15249288082122803}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8746225833892822},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7337214946746826},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.716022789478302},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7062519788742065},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.7020459175109863},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.6443068385124207},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6261739730834961},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5504615306854248},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5467851758003235},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5209363698959351},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5207040905952454},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5130871534347534},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4724994897842407},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37989363074302673},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.31184831261634827},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24469298124313354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2264622449874878},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.15249288082122803},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068420000393","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068420000393","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE331F83DA7FC84774F16D7C4D90610D/S1471068420000393a.pdf/div-class-title-asp-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20201019103257095-0563-s1471068420000393-s1471068420000393-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathcal-a-mathcal-c-span-span-span-span-answer-set-programming-with-algebraic-constraints-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"}],"best_oa_location":{"id":"doi:10.1017/s1471068420000393","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068420000393","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE331F83DA7FC84774F16D7C4D90610D/S1471068420000393a.pdf/div-class-title-asp-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20201019103257095-0563-s1471068420000393-s1471068420000393-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathcal-a-mathcal-c-span-span-span-span-answer-set-programming-with-algebraic-constraints-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/G1975729292","display_name":null,"funder_award_id":"W1255-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8680849391","display_name":null,"funder_award_id":"W1255","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3088092049.pdf","grobid_xml":"https://content.openalex.org/works/W3088092049.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W196585358","https://openalex.org/W1503635106","https://openalex.org/W1567216075","https://openalex.org/W1590284853","https://openalex.org/W1694306392","https://openalex.org/W1698854595","https://openalex.org/W1817124918","https://openalex.org/W1836582804","https://openalex.org/W1949034567","https://openalex.org/W1969965298","https://openalex.org/W1980251859","https://openalex.org/W1985274317","https://openalex.org/W2004200215","https://openalex.org/W2029702617","https://openalex.org/W2054159566","https://openalex.org/W2059245949","https://openalex.org/W2064864283","https://openalex.org/W2074272702","https://openalex.org/W2089928029","https://openalex.org/W2140587192","https://openalex.org/W2171987376","https://openalex.org/W2178806509","https://openalex.org/W2228065639","https://openalex.org/W2293299776","https://openalex.org/W2912103526","https://openalex.org/W3006453840","https://openalex.org/W3081453388","https://openalex.org/W3090793221","https://openalex.org/W3104034370","https://openalex.org/W3187718887","https://openalex.org/W4297751432","https://openalex.org/W6645294081","https://openalex.org/W6658210860","https://openalex.org/W6673070848"],"related_works":["https://openalex.org/W1511110679","https://openalex.org/W2176973685","https://openalex.org/W1607801167","https://openalex.org/W2529281881","https://openalex.org/W2124627636","https://openalex.org/W2597189952","https://openalex.org/W1484108514","https://openalex.org/W1575307414","https://openalex.org/W1512767","https://openalex.org/W95816"],"abstract_inverted_index":{"Abstract":[0],"Weighted":[1,24],"Logic":[2,25],"is":[3,34],"a":[4,20,72,93,135],"powerful":[5],"tool":[6],"for":[7,96,108,130],"the":[8],"specification":[9],"of":[10,23,74,89,111,120],"calculations":[11],"over":[12],"semirings":[13],"that":[14,58],"depend":[15],"on":[16,36],"qualitative":[17],"information.":[18],"Using":[19],"novel":[21],"combination":[22],"and":[26,83,91],"Here-and-There":[27],"(HT)":[28],"Logic,":[29],"in":[30,77,116,134],"which":[31,102],"this":[32],"dependence":[33],"based":[35],"intuitionistic":[37],"grounds,":[38],"we":[39],"introduce":[40],"Answer":[41],"Set":[42],"Programming":[43],"with":[44,99],"Algebraic":[45],"Constraints":[46],"(ASP(":[47],"$\\mathcal":[48,122],"A":[49,123],"\\mathcal":[50,124],"C$":[51,125],")),":[52],"where":[53],"rules":[54],"may":[55],"contain":[56],"constraints":[57,67],"compare":[59],"semiring":[60],"values":[61],"to":[62,71],"weighted":[63],"formula":[64],"evaluations.":[65],"Such":[66],"provide":[68,92],"streamlined":[69],"access":[70],"manifold":[73],"constructs":[75],"available":[76],"ASP,":[78],"like":[79],"aggregates,":[80],"choice":[81],"constraints,":[82],"arithmetic":[84],"operators.":[85],"They":[86],"extend":[87],"some":[88],"them":[90],"generic":[94],"framework":[95],"defining":[97],"programs":[98],"algebraic":[100],"computation,":[101],"can":[103,127],"be":[104,128],"fruitfully":[105],"used":[106],"e.g.":[107],"provenance":[109],"semantics":[110],"datalog":[112],"programs.":[113],"While":[114],"undecidable":[115],"general,":[117],"expressive":[118],"fragments":[119],"ASP(":[121],")":[126],"exploited":[129],"effective":[131],"problem":[132],"solving":[133],"rich":[136],"framework.":[137]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2020-10-01T00:00:00"}