Matches in SemOpenAlex for { <https://semopenalex.org/work/W3206311903> ?p ?o ?g. }
- W3206311903 abstract "Approximation fixpoint theory (AFT) constitutes an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as logic programming, default logic and autoepistemic logic. In this paper, we extend AFT to non-deterministic constructs such as disjunctive information. This is done by generalizing the main constructions and corresponding results to non-deterministic operators, whose ranges are sets of elements rather than single elements. The applicability and usefulness of this generalization is illustrated in the context of disjunctive logic programming." @default.
- W3206311903 created "2021-10-25" @default.
- W3206311903 creator A5028643056 @default.
- W3206311903 creator A5047491682 @default.
- W3206311903 date "2021-09-01" @default.
- W3206311903 modified "2023-10-14" @default.
- W3206311903 title "Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming" @default.
- W3206311903 cites W10111591 @default.
- W3206311903 cites W1486205590 @default.
- W3206311903 cites W1505787149 @default.
- W3206311903 cites W1516093101 @default.
- W3206311903 cites W1528020371 @default.
- W3206311903 cites W1582663744 @default.
- W3206311903 cites W1706499668 @default.
- W3206311903 cites W194413726 @default.
- W3206311903 cites W1968513265 @default.
- W3206311903 cites W1972860636 @default.
- W3206311903 cites W1985161451 @default.
- W3206311903 cites W1988045110 @default.
- W3206311903 cites W2011438231 @default.
- W3206311903 cites W2023808640 @default.
- W3206311903 cites W2027980228 @default.
- W3206311903 cites W2062024564 @default.
- W3206311903 cites W2076698873 @default.
- W3206311903 cites W2080633262 @default.
- W3206311903 cites W2100577610 @default.
- W3206311903 cites W2108911687 @default.
- W3206311903 cites W2151403295 @default.
- W3206311903 cites W2256752531 @default.
- W3206311903 cites W2507154786 @default.
- W3206311903 cites W2599244842 @default.
- W3206311903 cites W2904441253 @default.
- W3206311903 cites W2914398864 @default.
- W3206311903 cites W2953354181 @default.
- W3206311903 cites W3087599519 @default.
- W3206311903 cites W34897425 @default.
- W3206311903 doi "https://doi.org/10.24963/kr.2021/32" @default.
- W3206311903 hasPublicationYear "2021" @default.
- W3206311903 type Work @default.
- W3206311903 sameAs 3206311903 @default.
- W3206311903 citedByCount "2" @default.
- W3206311903 countsByYear W32063119032022 @default.
- W3206311903 countsByYear W32063119032023 @default.
- W3206311903 crossrefType "proceedings-article" @default.
- W3206311903 hasAuthorship W3206311903A5028643056 @default.
- W3206311903 hasAuthorship W3206311903A5047491682 @default.
- W3206311903 hasBestOaLocation W32063119031 @default.
- W3206311903 hasConcept C102993220 @default.
- W3206311903 hasConcept C11191006 @default.
- W3206311903 hasConcept C127001435 @default.
- W3206311903 hasConcept C128838566 @default.
- W3206311903 hasConcept C134306372 @default.
- W3206311903 hasConcept C136119220 @default.
- W3206311903 hasConcept C151730666 @default.
- W3206311903 hasConcept C154945302 @default.
- W3206311903 hasConcept C156325763 @default.
- W3206311903 hasConcept C159032336 @default.
- W3206311903 hasConcept C160236029 @default.
- W3206311903 hasConcept C171018156 @default.
- W3206311903 hasConcept C173125200 @default.
- W3206311903 hasConcept C176783269 @default.
- W3206311903 hasConcept C177148314 @default.
- W3206311903 hasConcept C184337299 @default.
- W3206311903 hasConcept C199360897 @default.
- W3206311903 hasConcept C202444582 @default.
- W3206311903 hasConcept C203659156 @default.
- W3206311903 hasConcept C207648694 @default.
- W3206311903 hasConcept C2524010 @default.
- W3206311903 hasConcept C2779343474 @default.
- W3206311903 hasConcept C33923547 @default.
- W3206311903 hasConcept C3845977 @default.
- W3206311903 hasConcept C41008148 @default.
- W3206311903 hasConcept C44616089 @default.
- W3206311903 hasConcept C49937458 @default.
- W3206311903 hasConcept C80444323 @default.
- W3206311903 hasConcept C86803240 @default.
- W3206311903 hasConcept C89497691 @default.
- W3206311903 hasConceptScore W3206311903C102993220 @default.
- W3206311903 hasConceptScore W3206311903C11191006 @default.
- W3206311903 hasConceptScore W3206311903C127001435 @default.
- W3206311903 hasConceptScore W3206311903C128838566 @default.
- W3206311903 hasConceptScore W3206311903C134306372 @default.
- W3206311903 hasConceptScore W3206311903C136119220 @default.
- W3206311903 hasConceptScore W3206311903C151730666 @default.
- W3206311903 hasConceptScore W3206311903C154945302 @default.
- W3206311903 hasConceptScore W3206311903C156325763 @default.
- W3206311903 hasConceptScore W3206311903C159032336 @default.
- W3206311903 hasConceptScore W3206311903C160236029 @default.
- W3206311903 hasConceptScore W3206311903C171018156 @default.
- W3206311903 hasConceptScore W3206311903C173125200 @default.
- W3206311903 hasConceptScore W3206311903C176783269 @default.
- W3206311903 hasConceptScore W3206311903C177148314 @default.
- W3206311903 hasConceptScore W3206311903C184337299 @default.
- W3206311903 hasConceptScore W3206311903C199360897 @default.
- W3206311903 hasConceptScore W3206311903C202444582 @default.
- W3206311903 hasConceptScore W3206311903C203659156 @default.
- W3206311903 hasConceptScore W3206311903C207648694 @default.
- W3206311903 hasConceptScore W3206311903C2524010 @default.
- W3206311903 hasConceptScore W3206311903C2779343474 @default.
- W3206311903 hasConceptScore W3206311903C33923547 @default.