{"id":"https://openalex.org/W3192849633","doi":"https://doi.org/10.24963/ijcai.2021/247","title":"Choice Logics and Their Computational Properties","display_name":"Choice Logics and Their Computational Properties","publication_year":2021,"publication_date":"2021-08-01","ids":{"openalex":"https://openalex.org/W3192849633","doi":"https://doi.org/10.24963/ijcai.2021/247","mag":"3192849633"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2021/247","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2021/247","pdf_url":"https://www.ijcai.org/proceedings/2021/0247.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2021/0247.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027900157","display_name":"Michael Bernreiter","orcid":"https://orcid.org/0000-0002-1649-2543"},"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":true,"raw_author_name":"Michael Bernreiter","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064789792","display_name":"Jan Maly","orcid":"https://orcid.org/0000-0003-3288-7462"},"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":"Jan Maly","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"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":"Stefan Woltran","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5027900157"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.5599,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.73390261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1794","last_page":"1800"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9979000091552734,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.8306854963302612},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6721478700637817},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.6492005586624146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5526087880134583},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5073747038841248},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.48215052485466003},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.4682912230491638},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.43075525760650635},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.426941454410553},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3488911986351013},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3113919198513031},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.15736636519432068}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.8306854963302612},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6721478700637817},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.6492005586624146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5526087880134583},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5073747038841248},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.48215052485466003},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.4682912230491638},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.43075525760650635},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.426941454410553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3488911986351013},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3113919198513031},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.15736636519432068},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2021/247","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2021/247","pdf_url":"https://www.ijcai.org/proceedings/2021/0247.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2021/247","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2021/247","pdf_url":"https://www.ijcai.org/proceedings/2021/0247.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3514815129","display_name":null,"funder_award_id":"P31890","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3192849633.pdf","grobid_xml":"https://content.openalex.org/works/W3192849633.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W114252553","https://openalex.org/W186758419","https://openalex.org/W206956553","https://openalex.org/W1535673504","https://openalex.org/W1988793717","https://openalex.org/W2007959953","https://openalex.org/W2066692416","https://openalex.org/W2080142817","https://openalex.org/W2083424831","https://openalex.org/W2100907015","https://openalex.org/W2121201992","https://openalex.org/W2148245173","https://openalex.org/W2172854690","https://openalex.org/W2204508432","https://openalex.org/W2330822284","https://openalex.org/W2787434633","https://openalex.org/W3094755745","https://openalex.org/W3113742451","https://openalex.org/W3156895622","https://openalex.org/W4300069653","https://openalex.org/W6604632881","https://openalex.org/W6671145537"],"related_works":["https://openalex.org/W1495630752","https://openalex.org/W2159800242","https://openalex.org/W2185139080","https://openalex.org/W2048059078","https://openalex.org/W1569732681","https://openalex.org/W1590642190","https://openalex.org/W4385437137","https://openalex.org/W82383519","https://openalex.org/W1590861121","https://openalex.org/W59439889"],"abstract_inverted_index":{"Qualitative":[0],"Choice":[1,6],"Logic":[2,7],"(QCL)":[3],"and":[4,56,118,129,147],"Conjunctive":[5],"(CCL)":[8],"are":[9],"formalisms":[10],"for":[11,47,114,127,145,152],"preference":[12],"handling,":[13],"with":[14,54],"especially":[15],"QCL":[16,55,128,146],"being":[17,65,150],"well":[18,59],"established":[19],"in":[20,98,111],"the":[21,77,88,136],"field":[22],"of":[23,28,62,94],"AI.":[24],"So":[25],"far,":[26],"analyses":[27],"these":[29],"logics":[30,85,97,113],"need":[31],"to":[32,80,91],"be":[33],"done":[34],"on":[35,76,87],"a":[36,48,71,99,108,153],"case-by-case":[37],"basis,":[38],"albeit":[39],"they":[40],"share":[41],"several":[42],"common":[43],"features.":[44],"This":[45],"calls":[46],"more":[49],"general":[50],"choice":[51,84,96,156],"logic":[52],"framework,":[53,72],"CCL":[57],"as":[58,60],"some":[61],"their":[63],"derivatives":[64],"particular":[66],"instantiations.":[67],"We":[68],"provide":[69],"such":[70],"which":[73],"allows":[74],"us,":[75],"one":[78],"hand,":[79,90],"easily":[81],"define":[82],"new":[83,125],"and,":[86],"other":[89],"examine":[92],"properties":[93],"different":[95],"uniform":[100],"setting.":[101],"In":[102],"particular,":[103],"we":[104,133],"investigate":[105],"strong":[106],"equivalence,":[107],"core":[109],"concept":[110],"non-classical":[112],"understanding":[115],"formula":[116],"simplification,":[117],"computational":[119],"complexity.":[120],"Our":[121],"analysis":[122],"also":[123],"yields":[124],"results":[126],"CCL.":[130],"For":[131],"example,":[132],"show":[134],"that":[135],"main":[137],"reasoning":[138],"task":[139],"regarding":[140],"preferred":[141],"models":[142],"is":[143],"\u03f4\u2082P-complete":[144],"CCL,":[148],"while":[149],"\u0394\u2082P-complete":[151],"newly":[154],"introduced":[155],"logic.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}