FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108181570> ?p ?o ?g. }

• W2108181570 endingPage "99" @default.
• W2108181570 startingPage "74" @default.
• W2108181570 abstract "Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to model an ideal rational agent reflecting upon his own beliefs. Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent an agent's rational beliefs on gradable propositions. It has recently been shown that, in the same way as autoepistemic logic generalizes answer set programming, fuzzy autoepistemic logic generalizes fuzzy answer set programming as well. Besides being related to answer set programming, autoepistemic logic is also closely related to several modal logics. To investigate whether a similar relationship holds in a fuzzy logical setting, we firstly generalize the main modal logics for belief to the setting of finitely-valued Łukasiewicz logic with truth constants Łkc, and secondly we relate them with fuzzy autoepistemic logics. Moreover, we show that the problem of satisfiability checking in these logics is NP-complete. Finally, we generalize Levesque's results on stable expansions, belief sets, and “only knowing” operators to our setting, and provide a complete axiomatization for a logic of “only knowing” in the Łkc framework." @default.
• W2108181570 created "2016-06-24" @default.
• W2108181570 creator A5003587852 @default.
• W2108181570 creator A5009887598 @default.
• W2108181570 creator A5056749857 @default.
• W2108181570 creator A5072818908 @default.
• W2108181570 creator A5091130725 @default.
• W2108181570 date "2015-10-01" @default.
• W2108181570 modified "2023-10-18" @default.
• W2108181570 title "On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief" @default.
• W2108181570 cites W1545911618 @default.
• W2108181570 cites W1565075881 @default.
• W2108181570 cites W1969724379 @default.
• W2108181570 cites W1987520249 @default.
• W2108181570 cites W1991972474 @default.
• W2108181570 cites W1994369562 @default.
• W2108181570 cites W2028965700 @default.
• W2108181570 cites W2067452466 @default.
• W2108181570 cites W2076073997 @default.
• W2108181570 cites W2087171264 @default.
• W2108181570 cites W2090798572 @default.
• W2108181570 cites W2114525177 @default.
• W2108181570 cites W2139348098 @default.
• W2108181570 cites W2151653946 @default.
• W2108181570 cites W2155322595 @default.
• W2108181570 doi "https://doi.org/10.1016/j.fss.2015.02.018" @default.
• W2108181570 hasPublicationYear "2015" @default.
• W2108181570 type Work @default.
• W2108181570 sameAs 2108181570 @default.
• W2108181570 citedByCount "5" @default.
• W2108181570 countsByYear W21081815702015 @default.
• W2108181570 countsByYear W21081815702020 @default.
• W2108181570 countsByYear W21081815702021 @default.
• W2108181570 countsByYear W21081815702023 @default.
• W2108181570 crossrefType "journal-article" @default.
• W2108181570 hasAuthorship W2108181570A5003587852 @default.
• W2108181570 hasAuthorship W2108181570A5009887598 @default.
• W2108181570 hasAuthorship W2108181570A5056749857 @default.
• W2108181570 hasAuthorship W2108181570A5072818908 @default.
• W2108181570 hasAuthorship W2108181570A5091130725 @default.
• W2108181570 hasBestOaLocation W21081815702 @default.
• W2108181570 hasConcept C102993220 @default.
• W2108181570 hasConcept C11191006 @default.
• W2108181570 hasConcept C114092440 @default.
• W2108181570 hasConcept C136119220 @default.
• W2108181570 hasConcept C150889026 @default.
• W2108181570 hasConcept C154945302 @default.
• W2108181570 hasConcept C159032336 @default.
• W2108181570 hasConcept C185592680 @default.
• W2108181570 hasConcept C188027245 @default.
• W2108181570 hasConcept C1883856 @default.
• W2108181570 hasConcept C18998212 @default.
• W2108181570 hasConcept C202444582 @default.
• W2108181570 hasConcept C203659156 @default.
• W2108181570 hasConcept C27508121 @default.
• W2108181570 hasConcept C33923547 @default.
• W2108181570 hasConcept C3845977 @default.
• W2108181570 hasConcept C41008148 @default.
• W2108181570 hasConcept C42011625 @default.
• W2108181570 hasConcept C58166 @default.
• W2108181570 hasConcept C71139939 @default.
• W2108181570 hasConcept C86602344 @default.
• W2108181570 hasConceptScore W2108181570C102993220 @default.
• W2108181570 hasConceptScore W2108181570C11191006 @default.
• W2108181570 hasConceptScore W2108181570C114092440 @default.
• W2108181570 hasConceptScore W2108181570C136119220 @default.
• W2108181570 hasConceptScore W2108181570C150889026 @default.
• W2108181570 hasConceptScore W2108181570C154945302 @default.
• W2108181570 hasConceptScore W2108181570C159032336 @default.
• W2108181570 hasConceptScore W2108181570C185592680 @default.
• W2108181570 hasConceptScore W2108181570C188027245 @default.
• W2108181570 hasConceptScore W2108181570C1883856 @default.
• W2108181570 hasConceptScore W2108181570C18998212 @default.
• W2108181570 hasConceptScore W2108181570C202444582 @default.
• W2108181570 hasConceptScore W2108181570C203659156 @default.
• W2108181570 hasConceptScore W2108181570C27508121 @default.
• W2108181570 hasConceptScore W2108181570C33923547 @default.
• W2108181570 hasConceptScore W2108181570C3845977 @default.
• W2108181570 hasConceptScore W2108181570C41008148 @default.
• W2108181570 hasConceptScore W2108181570C42011625 @default.
• W2108181570 hasConceptScore W2108181570C58166 @default.
• W2108181570 hasConceptScore W2108181570C71139939 @default.
• W2108181570 hasConceptScore W2108181570C86602344 @default.
• W2108181570 hasLocation W21081815701 @default.
• W2108181570 hasLocation W21081815702 @default.
• W2108181570 hasOpenAccess W2108181570 @default.
• W2108181570 hasPrimaryLocation W21081815701 @default.
• W2108181570 hasRelatedWork W130203622 @default.
• W2108181570 hasRelatedWork W1785615301 @default.
• W2108181570 hasRelatedWork W207809670 @default.
• W2108181570 hasRelatedWork W2086424170 @default.
• W2108181570 hasRelatedWork W2108181570 @default.
• W2108181570 hasRelatedWork W2151653946 @default.
• W2108181570 hasRelatedWork W2441642482 @default.
• W2108181570 hasRelatedWork W2556146351 @default.
• W2108181570 hasRelatedWork W2780136906 @default.
• W2108181570 hasRelatedWork W65547504 @default.
• W2108181570 hasVolume "276" @default.

• next