Matches in SemOpenAlex for { <https://semopenalex.org/work/W2779928863> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2779928863 endingPage "62" @default.
- W2779928863 startingPage "41" @default.
- W2779928863 abstract "Abstract Multi-adjoint logic programming is a general framework with interesting features, which involves other positive logic programming frameworks such as monotonic and residuated logic programming, generalized annotated logic programs, fuzzy logic programming and possibilistic logic programming. One of the most interesting extensions of this framework is the possibility of considering a negation operator in the logic programs, which will improve its flexibility and the range of real applications. This paper introduces multi-adjoint normal logic programming, which is an extension of multi-adjoint logic programming including a negation operator in the underlying lattice. Beside the introduction of the syntax and semantics of this paradigm, we will provide sufficient conditions for the existence of stable models defined on a convex compact set of an euclidean space. Finally, we will consider a particular algebraic structure in which sufficient conditions can be given in order to ensure the unicity of stable models of multi-adjoint normal logic programs." @default.
- W2779928863 created "2018-01-05" @default.
- W2779928863 creator A5001256093 @default.
- W2779928863 creator A5047176352 @default.
- W2779928863 creator A5086407671 @default.
- W2779928863 date "2018-08-01" @default.
- W2779928863 modified "2023-09-25" @default.
- W2779928863 title "Syntax and semantics of multi-adjoint normal logic programming" @default.
- W2779928863 cites W1458771408 @default.
- W2779928863 cites W1577536563 @default.
- W2779928863 cites W1606419968 @default.
- W2779928863 cites W1660981353 @default.
- W2779928863 cites W1756530980 @default.
- W2779928863 cites W194413726 @default.
- W2779928863 cites W1968513265 @default.
- W2779928863 cites W1979129485 @default.
- W2779928863 cites W1984723670 @default.
- W2779928863 cites W1994009631 @default.
- W2779928863 cites W2018110053 @default.
- W2779928863 cites W2036430638 @default.
- W2779928863 cites W2046213250 @default.
- W2779928863 cites W2048639548 @default.
- W2779928863 cites W2064232703 @default.
- W2779928863 cites W2067452466 @default.
- W2779928863 cites W2076698873 @default.
- W2779928863 cites W2082367267 @default.
- W2779928863 cites W2084254022 @default.
- W2779928863 cites W2092117499 @default.
- W2779928863 cites W2104448458 @default.
- W2779928863 cites W2110137938 @default.
- W2779928863 cites W2151191184 @default.
- W2779928863 cites W2153327280 @default.
- W2779928863 cites W2155212122 @default.
- W2779928863 cites W2158350199 @default.
- W2779928863 cites W2161403060 @default.
- W2779928863 doi "https://doi.org/10.1016/j.fss.2017.12.009" @default.
- W2779928863 hasPublicationYear "2018" @default.
- W2779928863 type Work @default.
- W2779928863 sameAs 2779928863 @default.
- W2779928863 citedByCount "17" @default.
- W2779928863 countsByYear W27799288632018 @default.
- W2779928863 countsByYear W27799288632019 @default.
- W2779928863 countsByYear W27799288632020 @default.
- W2779928863 countsByYear W27799288632021 @default.
- W2779928863 countsByYear W27799288632022 @default.
- W2779928863 countsByYear W27799288632023 @default.
- W2779928863 crossrefType "journal-article" @default.
- W2779928863 hasAuthorship W2779928863A5001256093 @default.
- W2779928863 hasAuthorship W2779928863A5047176352 @default.
- W2779928863 hasAuthorship W2779928863A5086407671 @default.
- W2779928863 hasConcept C128838566 @default.
- W2779928863 hasConcept C136119220 @default.
- W2779928863 hasConcept C154945302 @default.
- W2779928863 hasConcept C156325763 @default.
- W2779928863 hasConcept C184337299 @default.
- W2779928863 hasConcept C199360897 @default.
- W2779928863 hasConcept C202444582 @default.
- W2779928863 hasConcept C207648694 @default.
- W2779928863 hasConcept C33923547 @default.
- W2779928863 hasConcept C41008148 @default.
- W2779928863 hasConcept C58166 @default.
- W2779928863 hasConcept C60048249 @default.
- W2779928863 hasConcept C80444323 @default.
- W2779928863 hasConcept C89497691 @default.
- W2779928863 hasConceptScore W2779928863C128838566 @default.
- W2779928863 hasConceptScore W2779928863C136119220 @default.
- W2779928863 hasConceptScore W2779928863C154945302 @default.
- W2779928863 hasConceptScore W2779928863C156325763 @default.
- W2779928863 hasConceptScore W2779928863C184337299 @default.
- W2779928863 hasConceptScore W2779928863C199360897 @default.
- W2779928863 hasConceptScore W2779928863C202444582 @default.
- W2779928863 hasConceptScore W2779928863C207648694 @default.
- W2779928863 hasConceptScore W2779928863C33923547 @default.
- W2779928863 hasConceptScore W2779928863C41008148 @default.
- W2779928863 hasConceptScore W2779928863C58166 @default.
- W2779928863 hasConceptScore W2779928863C60048249 @default.
- W2779928863 hasConceptScore W2779928863C80444323 @default.
- W2779928863 hasConceptScore W2779928863C89497691 @default.
- W2779928863 hasFunder F4320321837 @default.
- W2779928863 hasLocation W27799288631 @default.
- W2779928863 hasOpenAccess W2779928863 @default.
- W2779928863 hasPrimaryLocation W27799288631 @default.
- W2779928863 hasRelatedWork W1517132137 @default.
- W2779928863 hasRelatedWork W1558467648 @default.
- W2779928863 hasRelatedWork W1601169590 @default.
- W2779928863 hasRelatedWork W1605891696 @default.
- W2779928863 hasRelatedWork W2057588976 @default.
- W2779928863 hasRelatedWork W2102588965 @default.
- W2779928863 hasRelatedWork W2113956592 @default.
- W2779928863 hasRelatedWork W2118415002 @default.
- W2779928863 hasRelatedWork W2160196023 @default.
- W2779928863 hasRelatedWork W2623701236 @default.
- W2779928863 hasVolume "345" @default.
- W2779928863 isParatext "false" @default.
- W2779928863 isRetracted "false" @default.
- W2779928863 magId "2779928863" @default.
- W2779928863 workType "article" @default.