Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172854690> ?p ?o ?g. }
- W2172854690 endingPage "169" @default.
- W2172854690 startingPage "158" @default.
- W2172854690 abstract "Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new connective called ordered disjunction: A ×→ B intuitively means: if possible A, but if A is not possible then at least B. The semantics of qualitative choice logic is based on a preference relation among models. Consequences of QCL theories can be computed through a compilation to stratified knowledge bases which in turn can be compiled to classical propositional theories. We also discuss potential applications of the logic, several variants of QCL based on alternative inference relations, and their relation to existing nonmonotonic formalisms." @default.
- W2172854690 created "2016-06-24" @default.
- W2172854690 creator A5060148794 @default.
- W2172854690 creator A5062074831 @default.
- W2172854690 creator A5089475466 @default.
- W2172854690 date "2002-01-01" @default.
- W2172854690 modified "2023-09-25" @default.
- W2172854690 title "Qualitative Choice Logic." @default.
- W2172854690 hasPublicationYear "2002" @default.
- W2172854690 type Work @default.
- W2172854690 sameAs 2172854690 @default.
- W2172854690 citedByCount "8" @default.
- W2172854690 countsByYear W21728546902013 @default.
- W2172854690 countsByYear W21728546902014 @default.
- W2172854690 crossrefType "proceedings-article" @default.
- W2172854690 hasAuthorship W2172854690A5060148794 @default.
- W2172854690 hasAuthorship W2172854690A5062074831 @default.
- W2172854690 hasAuthorship W2172854690A5089475466 @default.
- W2172854690 hasConcept C102993220 @default.
- W2172854690 hasConcept C110039528 @default.
- W2172854690 hasConcept C121332964 @default.
- W2172854690 hasConcept C124101348 @default.
- W2172854690 hasConcept C14523651 @default.
- W2172854690 hasConcept C154945302 @default.
- W2172854690 hasConcept C159032336 @default.
- W2172854690 hasConcept C160236029 @default.
- W2172854690 hasConcept C165801399 @default.
- W2172854690 hasConcept C171018156 @default.
- W2172854690 hasConcept C172385210 @default.
- W2172854690 hasConcept C184337299 @default.
- W2172854690 hasConcept C199360897 @default.
- W2172854690 hasConcept C203659156 @default.
- W2172854690 hasConcept C2524010 @default.
- W2172854690 hasConcept C25343380 @default.
- W2172854690 hasConcept C2776214188 @default.
- W2172854690 hasConcept C2777796570 @default.
- W2172854690 hasConcept C32241873 @default.
- W2172854690 hasConcept C33203268 @default.
- W2172854690 hasConcept C33923547 @default.
- W2172854690 hasConcept C3845977 @default.
- W2172854690 hasConcept C41008148 @default.
- W2172854690 hasConcept C62360110 @default.
- W2172854690 hasConcept C62520636 @default.
- W2172854690 hasConcept C69562738 @default.
- W2172854690 hasConcept C80444323 @default.
- W2172854690 hasConceptScore W2172854690C102993220 @default.
- W2172854690 hasConceptScore W2172854690C110039528 @default.
- W2172854690 hasConceptScore W2172854690C121332964 @default.
- W2172854690 hasConceptScore W2172854690C124101348 @default.
- W2172854690 hasConceptScore W2172854690C14523651 @default.
- W2172854690 hasConceptScore W2172854690C154945302 @default.
- W2172854690 hasConceptScore W2172854690C159032336 @default.
- W2172854690 hasConceptScore W2172854690C160236029 @default.
- W2172854690 hasConceptScore W2172854690C165801399 @default.
- W2172854690 hasConceptScore W2172854690C171018156 @default.
- W2172854690 hasConceptScore W2172854690C172385210 @default.
- W2172854690 hasConceptScore W2172854690C184337299 @default.
- W2172854690 hasConceptScore W2172854690C199360897 @default.
- W2172854690 hasConceptScore W2172854690C203659156 @default.
- W2172854690 hasConceptScore W2172854690C2524010 @default.
- W2172854690 hasConceptScore W2172854690C25343380 @default.
- W2172854690 hasConceptScore W2172854690C2776214188 @default.
- W2172854690 hasConceptScore W2172854690C2777796570 @default.
- W2172854690 hasConceptScore W2172854690C32241873 @default.
- W2172854690 hasConceptScore W2172854690C33203268 @default.
- W2172854690 hasConceptScore W2172854690C33923547 @default.
- W2172854690 hasConceptScore W2172854690C3845977 @default.
- W2172854690 hasConceptScore W2172854690C41008148 @default.
- W2172854690 hasConceptScore W2172854690C62360110 @default.
- W2172854690 hasConceptScore W2172854690C62520636 @default.
- W2172854690 hasConceptScore W2172854690C69562738 @default.
- W2172854690 hasConceptScore W2172854690C80444323 @default.
- W2172854690 hasLocation W21728546901 @default.
- W2172854690 hasOpenAccess W2172854690 @default.
- W2172854690 hasPrimaryLocation W21728546901 @default.
- W2172854690 hasRelatedWork W1131711164 @default.
- W2172854690 hasRelatedWork W1505903937 @default.
- W2172854690 hasRelatedWork W1561816611 @default.
- W2172854690 hasRelatedWork W1579445359 @default.
- W2172854690 hasRelatedWork W1605220589 @default.
- W2172854690 hasRelatedWork W1607748061 @default.
- W2172854690 hasRelatedWork W1788106506 @default.
- W2172854690 hasRelatedWork W1984529395 @default.
- W2172854690 hasRelatedWork W2050486226 @default.
- W2172854690 hasRelatedWork W2052146590 @default.
- W2172854690 hasRelatedWork W2076652224 @default.
- W2172854690 hasRelatedWork W2076698873 @default.
- W2172854690 hasRelatedWork W2092211394 @default.
- W2172854690 hasRelatedWork W2124627636 @default.
- W2172854690 hasRelatedWork W2144301791 @default.
- W2172854690 hasRelatedWork W2157884310 @default.
- W2172854690 hasRelatedWork W2167709741 @default.
- W2172854690 hasRelatedWork W2562041970 @default.
- W2172854690 hasRelatedWork W60507602 @default.
- W2172854690 hasRelatedWork W93959865 @default.
- W2172854690 isParatext "false" @default.
- W2172854690 isRetracted "false" @default.
- W2172854690 magId "2172854690" @default.