FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109589871> ?p ?o ?g. }

• W2109589871 abstract "We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial intelligence and nonmonotonic logics. We prove that the complexity of the minimal inference problem with unbounded queries has a trichotomy (between P, coNP-complete, and Pi <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sub> P-complete). This result finally settles with a positive answer the trichotomy conjecture of Kirousis and Kolaitis[A dichotomy in the complexity of propositional circumscription, LICS'01] in the unbounded case. We also present simple and efficiently computable criteria separating the different cases." @default.
• W2109589871 created "2016-06-24" @default.
• W2109589871 creator A5007869716 @default.
• W2109589871 creator A5059509786 @default.
• W2109589871 creator A5074896214 @default.
• W2109589871 date "2009-08-01" @default.
• W2109589871 modified "2023-09-30" @default.
• W2109589871 title "Trichotomy in the Complexity of Minimal Inference" @default.
• W2109589871 cites W1481524021 @default.
• W2109589871 cites W1482410934 @default.
• W2109589871 cites W1488709943 @default.
• W2109589871 cites W1536929732 @default.
• W2109589871 cites W1571873445 @default.
• W2109589871 cites W1588550661 @default.
• W2109589871 cites W1589711670 @default.
• W2109589871 cites W1672891595 @default.
• W2109589871 cites W1820801893 @default.
• W2109589871 cites W1974637223 @default.
• W2109589871 cites W1998363560 @default.
• W2109589871 cites W2002476082 @default.
• W2109589871 cites W2003116861 @default.
• W2109589871 cites W2005079828 @default.
• W2109589871 cites W2008294142 @default.
• W2109589871 cites W2026565317 @default.
• W2109589871 cites W2035877205 @default.
• W2109589871 cites W2083568285 @default.
• W2109589871 cites W2083810385 @default.
• W2109589871 cites W2085138240 @default.
• W2109589871 cites W2086542011 @default.
• W2109589871 cites W2088631785 @default.
• W2109589871 cites W2093461317 @default.
• W2109589871 cites W2116407296 @default.
• W2109589871 cites W2129495182 @default.
• W2109589871 cites W2131202479 @default.
• W2109589871 cites W2133260738 @default.
• W2109589871 cites W2149922426 @default.
• W2109589871 cites W2155322595 @default.
• W2109589871 cites W2166566648 @default.
• W2109589871 cites W2504299149 @default.
• W2109589871 cites W2504838369 @default.
• W2109589871 cites W2945259913 @default.
• W2109589871 cites W2963363254 @default.
• W2109589871 doi "https://doi.org/10.1109/lics.2009.14" @default.
• W2109589871 hasPublicationYear "2009" @default.
• W2109589871 type Work @default.
• W2109589871 sameAs 2109589871 @default.
• W2109589871 citedByCount "5" @default.
• W2109589871 countsByYear W21095898712013 @default.
• W2109589871 crossrefType "proceedings-article" @default.
• W2109589871 hasAuthorship W2109589871A5007869716 @default.
• W2109589871 hasAuthorship W2109589871A5059509786 @default.
• W2109589871 hasAuthorship W2109589871A5074896214 @default.
• W2109589871 hasConcept C102993220 @default.
• W2109589871 hasConcept C111472728 @default.
• W2109589871 hasConcept C11413529 @default.
• W2109589871 hasConcept C118615104 @default.
• W2109589871 hasConcept C138885662 @default.
• W2109589871 hasConcept C14523651 @default.
• W2109589871 hasConcept C154945302 @default.
• W2109589871 hasConcept C179799912 @default.
• W2109589871 hasConcept C2776214188 @default.
• W2109589871 hasConcept C2780233049 @default.
• W2109589871 hasConcept C2780990831 @default.
• W2109589871 hasConcept C33203268 @default.
• W2109589871 hasConcept C33923547 @default.
• W2109589871 hasConcept C41008148 @default.
• W2109589871 hasConcept C62360110 @default.
• W2109589871 hasConcept C74640108 @default.
• W2109589871 hasConcept C80444323 @default.
• W2109589871 hasConceptScore W2109589871C102993220 @default.
• W2109589871 hasConceptScore W2109589871C111472728 @default.
• W2109589871 hasConceptScore W2109589871C11413529 @default.
• W2109589871 hasConceptScore W2109589871C118615104 @default.
• W2109589871 hasConceptScore W2109589871C138885662 @default.
• W2109589871 hasConceptScore W2109589871C14523651 @default.
• W2109589871 hasConceptScore W2109589871C154945302 @default.
• W2109589871 hasConceptScore W2109589871C179799912 @default.
• W2109589871 hasConceptScore W2109589871C2776214188 @default.
• W2109589871 hasConceptScore W2109589871C2780233049 @default.
• W2109589871 hasConceptScore W2109589871C2780990831 @default.
• W2109589871 hasConceptScore W2109589871C33203268 @default.
• W2109589871 hasConceptScore W2109589871C33923547 @default.
• W2109589871 hasConceptScore W2109589871C41008148 @default.
• W2109589871 hasConceptScore W2109589871C62360110 @default.
• W2109589871 hasConceptScore W2109589871C74640108 @default.
• W2109589871 hasConceptScore W2109589871C80444323 @default.
• W2109589871 hasLocation W21095898711 @default.
• W2109589871 hasOpenAccess W2109589871 @default.
• W2109589871 hasPrimaryLocation W21095898711 @default.
• W2109589871 hasRelatedWork W1481524021 @default.
• W2109589871 hasRelatedWork W1588550661 @default.
• W2109589871 hasRelatedWork W1649706165 @default.
• W2109589871 hasRelatedWork W1715061674 @default.
• W2109589871 hasRelatedWork W2083568285 @default.
• W2109589871 hasRelatedWork W2109589871 @default.
• W2109589871 hasRelatedWork W2120353530 @default.
• W2109589871 hasRelatedWork W4230441028 @default.
• W2109589871 hasRelatedWork W4300925396 @default.
• W2109589871 hasRelatedWork W2473293107 @default.
• W2109589871 isParatext "false" @default.

• next