Matches in SemOpenAlex for { <https://semopenalex.org/work/W51762244> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W51762244 endingPage "128" @default.
- W51762244 startingPage "120" @default.
- W51762244 abstract "In this paper we compare the two versions of knowledge invariant transformations of the original Many-valued logic programs: the strict Annotated logic programs and the ’meta’ logic programs obtained by the ontological encapsulation [1]. We show that the first one has the higher-order Herbrand interpretations, while the last can be seen as the flattening of the first one. These two knowledge invariant 2-valued logic transformations of the 4-valued Belnap’s bilattice-based logic, able to handle incompleteness and inconsistency of knowledge-base systems, are mutually inverse in Galois connection based on predicate compression and decompression (flattening). Consequently, we can use this Galois connection between them to establish their fixpoint semantics relationship. This results generalize the truth-knowledge fixpoint semantics for many-valued logic programming [2]." @default.
- W51762244 created "2016-06-24" @default.
- W51762244 creator A5068834489 @default.
- W51762244 date "2006-01-01" @default.
- W51762244 modified "2023-09-26" @default.
- W51762244 title "Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models." @default.
- W51762244 cites W1487409515 @default.
- W51762244 cites W1577536563 @default.
- W51762244 cites W1980589711 @default.
- W51762244 cites W1998637316 @default.
- W51762244 cites W2001805670 @default.
- W51762244 cites W2129802691 @default.
- W51762244 cites W2131624112 @default.
- W51762244 cites W2150553139 @default.
- W51762244 cites W3015761148 @default.
- W51762244 hasPublicationYear "2006" @default.
- W51762244 type Work @default.
- W51762244 sameAs 51762244 @default.
- W51762244 citedByCount "5" @default.
- W51762244 crossrefType "journal-article" @default.
- W51762244 hasAuthorship W51762244A5068834489 @default.
- W51762244 hasConcept C102993220 @default.
- W51762244 hasConcept C110039528 @default.
- W51762244 hasConcept C11413529 @default.
- W51762244 hasConcept C118615104 @default.
- W51762244 hasConcept C127001435 @default.
- W51762244 hasConcept C128838566 @default.
- W51762244 hasConcept C134306372 @default.
- W51762244 hasConcept C136119220 @default.
- W51762244 hasConcept C169896238 @default.
- W51762244 hasConcept C19689857 @default.
- W51762244 hasConcept C199360897 @default.
- W51762244 hasConcept C202444582 @default.
- W51762244 hasConcept C203659156 @default.
- W51762244 hasConcept C2039508 @default.
- W51762244 hasConcept C33923547 @default.
- W51762244 hasConcept C3845977 @default.
- W51762244 hasConcept C41008148 @default.
- W51762244 hasConcept C61445026 @default.
- W51762244 hasConcept C73314972 @default.
- W51762244 hasConcept C80444323 @default.
- W51762244 hasConceptScore W51762244C102993220 @default.
- W51762244 hasConceptScore W51762244C110039528 @default.
- W51762244 hasConceptScore W51762244C11413529 @default.
- W51762244 hasConceptScore W51762244C118615104 @default.
- W51762244 hasConceptScore W51762244C127001435 @default.
- W51762244 hasConceptScore W51762244C128838566 @default.
- W51762244 hasConceptScore W51762244C134306372 @default.
- W51762244 hasConceptScore W51762244C136119220 @default.
- W51762244 hasConceptScore W51762244C169896238 @default.
- W51762244 hasConceptScore W51762244C19689857 @default.
- W51762244 hasConceptScore W51762244C199360897 @default.
- W51762244 hasConceptScore W51762244C202444582 @default.
- W51762244 hasConceptScore W51762244C203659156 @default.
- W51762244 hasConceptScore W51762244C2039508 @default.
- W51762244 hasConceptScore W51762244C33923547 @default.
- W51762244 hasConceptScore W51762244C3845977 @default.
- W51762244 hasConceptScore W51762244C41008148 @default.
- W51762244 hasConceptScore W51762244C61445026 @default.
- W51762244 hasConceptScore W51762244C73314972 @default.
- W51762244 hasConceptScore W51762244C80444323 @default.
- W51762244 hasLocation W517622441 @default.
- W51762244 hasOpenAccess W51762244 @default.
- W51762244 hasPrimaryLocation W517622441 @default.
- W51762244 hasRelatedWork W117698297 @default.
- W51762244 hasRelatedWork W1496035301 @default.
- W51762244 hasRelatedWork W1533216727 @default.
- W51762244 hasRelatedWork W1547063019 @default.
- W51762244 hasRelatedWork W1563057666 @default.
- W51762244 hasRelatedWork W1586690077 @default.
- W51762244 hasRelatedWork W1606754801 @default.
- W51762244 hasRelatedWork W1835518415 @default.
- W51762244 hasRelatedWork W1972860636 @default.
- W51762244 hasRelatedWork W2022963984 @default.
- W51762244 hasRelatedWork W2037682959 @default.
- W51762244 hasRelatedWork W2055558461 @default.
- W51762244 hasRelatedWork W2072873942 @default.
- W51762244 hasRelatedWork W2087363667 @default.
- W51762244 hasRelatedWork W2154412707 @default.
- W51762244 hasRelatedWork W2234171659 @default.
- W51762244 hasRelatedWork W2381539608 @default.
- W51762244 hasRelatedWork W2895078906 @default.
- W51762244 hasRelatedWork W3105213457 @default.
- W51762244 hasRelatedWork W3161652119 @default.
- W51762244 isParatext "false" @default.
- W51762244 isRetracted "false" @default.
- W51762244 magId "51762244" @default.
- W51762244 workType "article" @default.