Matches in SemOpenAlex for { <https://semopenalex.org/work/W2593005162> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2593005162 endingPage "88" @default.
- W2593005162 startingPage "69" @default.
- W2593005162 abstract "Input/output logic is a formalism in deontic logic and normative reasoning. Unlike deontic logical frameworks based on possible-world semantics, input/output logic adopts norm-based semantics in the sense of [13], specifically operational semantics. It is well-known in theoretical computer science that complexity is an indispensable component of every logic. So far, previous literature in input/output systems focuses on proof theory and semantics, while neglects complexity. This paper adds the missing component by giving the complexity results of main decision problems in input/output logic. Our results show that input/output logic is coNP hard and in the 2nd level of the polynomial hierarchy." @default.
- W2593005162 created "2017-03-16" @default.
- W2593005162 creator A5004537308 @default.
- W2593005162 creator A5076675230 @default.
- W2593005162 date "2017-12-01" @default.
- W2593005162 modified "2023-10-05" @default.
- W2593005162 title "On the complexity of input/output logic" @default.
- W2593005162 cites W1965324703 @default.
- W2593005162 cites W1971429569 @default.
- W2593005162 cites W1997716585 @default.
- W2593005162 cites W1997958915 @default.
- W2593005162 cites W2006112194 @default.
- W2593005162 cites W2008443647 @default.
- W2593005162 cites W2055448233 @default.
- W2593005162 cites W2059488340 @default.
- W2593005162 cites W2069709605 @default.
- W2593005162 cites W2114629817 @default.
- W2593005162 cites W2134349791 @default.
- W2593005162 cites W2160811334 @default.
- W2593005162 cites W2166325725 @default.
- W2593005162 cites W2167501322 @default.
- W2593005162 cites W2288669826 @default.
- W2593005162 cites W250494237 @default.
- W2593005162 cites W2600107863 @default.
- W2593005162 cites W3106418261 @default.
- W2593005162 cites W2142667228 @default.
- W2593005162 doi "https://doi.org/10.1016/j.jal.2017.03.002" @default.
- W2593005162 hasPublicationYear "2017" @default.
- W2593005162 type Work @default.
- W2593005162 sameAs 2593005162 @default.
- W2593005162 citedByCount "9" @default.
- W2593005162 countsByYear W25930051622017 @default.
- W2593005162 countsByYear W25930051622019 @default.
- W2593005162 countsByYear W25930051622020 @default.
- W2593005162 countsByYear W25930051622021 @default.
- W2593005162 countsByYear W25930051622023 @default.
- W2593005162 crossrefType "journal-article" @default.
- W2593005162 hasAuthorship W2593005162A5004537308 @default.
- W2593005162 hasAuthorship W2593005162A5076675230 @default.
- W2593005162 hasBestOaLocation W25930051621 @default.
- W2593005162 hasConcept C102993220 @default.
- W2593005162 hasConcept C138885662 @default.
- W2593005162 hasConcept C142362112 @default.
- W2593005162 hasConcept C153349607 @default.
- W2593005162 hasConcept C160236029 @default.
- W2593005162 hasConcept C203659156 @default.
- W2593005162 hasConcept C33923547 @default.
- W2593005162 hasConcept C3845977 @default.
- W2593005162 hasConcept C41008148 @default.
- W2593005162 hasConcept C41895202 @default.
- W2593005162 hasConcept C558565934 @default.
- W2593005162 hasConcept C6377922 @default.
- W2593005162 hasConcept C73301696 @default.
- W2593005162 hasConcept C80444323 @default.
- W2593005162 hasConceptScore W2593005162C102993220 @default.
- W2593005162 hasConceptScore W2593005162C138885662 @default.
- W2593005162 hasConceptScore W2593005162C142362112 @default.
- W2593005162 hasConceptScore W2593005162C153349607 @default.
- W2593005162 hasConceptScore W2593005162C160236029 @default.
- W2593005162 hasConceptScore W2593005162C203659156 @default.
- W2593005162 hasConceptScore W2593005162C33923547 @default.
- W2593005162 hasConceptScore W2593005162C3845977 @default.
- W2593005162 hasConceptScore W2593005162C41008148 @default.
- W2593005162 hasConceptScore W2593005162C41895202 @default.
- W2593005162 hasConceptScore W2593005162C558565934 @default.
- W2593005162 hasConceptScore W2593005162C6377922 @default.
- W2593005162 hasConceptScore W2593005162C73301696 @default.
- W2593005162 hasConceptScore W2593005162C80444323 @default.
- W2593005162 hasFunder F4320335254 @default.
- W2593005162 hasFunder F4320338337 @default.
- W2593005162 hasLocation W25930051621 @default.
- W2593005162 hasLocation W25930051622 @default.
- W2593005162 hasLocation W25930051623 @default.
- W2593005162 hasOpenAccess W2593005162 @default.
- W2593005162 hasPrimaryLocation W25930051621 @default.
- W2593005162 hasRelatedWork W1408900831 @default.
- W2593005162 hasRelatedWork W1551338644 @default.
- W2593005162 hasRelatedWork W1610119672 @default.
- W2593005162 hasRelatedWork W2030529244 @default.
- W2593005162 hasRelatedWork W2030586002 @default.
- W2593005162 hasRelatedWork W2118476545 @default.
- W2593005162 hasRelatedWork W2611773191 @default.
- W2593005162 hasRelatedWork W2743499780 @default.
- W2593005162 hasRelatedWork W2795088847 @default.
- W2593005162 hasRelatedWork W4229742000 @default.
- W2593005162 hasVolume "25" @default.
- W2593005162 isParatext "false" @default.
- W2593005162 isRetracted "false" @default.
- W2593005162 magId "2593005162" @default.
- W2593005162 workType "article" @default.