FRINK Linked Data Fragments server

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

• W48296306 endingPage "597" @default.
• W48296306 startingPage "587" @default.
• W48296306 abstract "The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches that come equipped with a perspicuous model theory either result in reasoners that are too limited from a practical point of view or fall off the computational cliff.In this paper, we propose a new logic of belief called SL which lies between the two extremes. We show that query evaluation based on SL for a certain form of knowledge bases with disjunctive information is tractable in the propositional case and decidable in the first-order case. Also, we present a sound and complete axiomatization for propositional SL." @default.
• W48296306 created "2016-06-24" @default.
• W48296306 creator A5005730180 @default.
• W48296306 creator A5025681351 @default.
• W48296306 creator A5067387552 @default.
• W48296306 date "2004-06-02" @default.
• W48296306 modified "2023-09-26" @default.
• W48296306 title "A logic of limited belief for reasoning with disjunctive information" @default.
• W48296306 cites W110444153 @default.
• W48296306 cites W1479728228 @default.
• W48296306 cites W1549792078 @default.
• W48296306 cites W1577438212 @default.
• W48296306 cites W1588085858 @default.
• W48296306 cites W1593617641 @default.
• W48296306 cites W188597715 @default.
• W48296306 cites W1994227541 @default.
• W48296306 cites W2014806304 @default.
• W48296306 cites W2016515719 @default.
• W48296306 cites W2023605209 @default.
• W48296306 cites W2028441269 @default.
• W48296306 cites W2036979854 @default.
• W48296306 cites W2076073997 @default.
• W48296306 cites W2099143991 @default.
• W48296306 cites W2125402034 @default.
• W48296306 cites W2148717074 @default.
• W48296306 cites W2155581733 @default.
• W48296306 cites W2168151072 @default.
• W48296306 cites W2414735778 @default.
• W48296306 cites W2915030386 @default.
• W48296306 cites W3020891513 @default.
• W48296306 cites W55665455 @default.
• W48296306 cites W5642659 @default.
• W48296306 cites W78682067 @default.
• W48296306 cites W93661324 @default.
• W48296306 hasPublicationYear "2004" @default.
• W48296306 type Work @default.
• W48296306 sameAs 48296306 @default.
• W48296306 citedByCount "24" @default.
• W48296306 countsByYear W482963062012 @default.
• W48296306 countsByYear W482963062013 @default.
• W48296306 countsByYear W482963062014 @default.
• W48296306 countsByYear W482963062015 @default.
• W48296306 countsByYear W482963062016 @default.
• W48296306 countsByYear W482963062017 @default.
• W48296306 countsByYear W482963062018 @default.
• W48296306 countsByYear W482963062019 @default.
• W48296306 countsByYear W482963062020 @default.
• W48296306 countsByYear W482963062021 @default.
• W48296306 crossrefType "proceedings-article" @default.
• W48296306 hasAuthorship W48296306A5005730180 @default.
• W48296306 hasAuthorship W48296306A5025681351 @default.
• W48296306 hasAuthorship W48296306A5067387552 @default.
• W48296306 hasConcept C102993220 @default.
• W48296306 hasConcept C128913409 @default.
• W48296306 hasConcept C14523651 @default.
• W48296306 hasConcept C153269930 @default.
• W48296306 hasConcept C154945302 @default.
• W48296306 hasConcept C159032336 @default.
• W48296306 hasConcept C199360897 @default.
• W48296306 hasConcept C2524010 @default.
• W48296306 hasConcept C28719098 @default.
• W48296306 hasConcept C33203268 @default.
• W48296306 hasConcept C33923547 @default.
• W48296306 hasConcept C41008148 @default.
• W48296306 hasConcept C62360110 @default.
• W48296306 hasConcept C69562738 @default.
• W48296306 hasConcept C80444323 @default.
• W48296306 hasConcept C97364631 @default.
• W48296306 hasConceptScore W48296306C102993220 @default.
• W48296306 hasConceptScore W48296306C128913409 @default.
• W48296306 hasConceptScore W48296306C14523651 @default.
• W48296306 hasConceptScore W48296306C153269930 @default.
• W48296306 hasConceptScore W48296306C154945302 @default.
• W48296306 hasConceptScore W48296306C159032336 @default.
• W48296306 hasConceptScore W48296306C199360897 @default.
• W48296306 hasConceptScore W48296306C2524010 @default.
• W48296306 hasConceptScore W48296306C28719098 @default.
• W48296306 hasConceptScore W48296306C33203268 @default.
• W48296306 hasConceptScore W48296306C33923547 @default.
• W48296306 hasConceptScore W48296306C41008148 @default.
• W48296306 hasConceptScore W48296306C62360110 @default.
• W48296306 hasConceptScore W48296306C69562738 @default.
• W48296306 hasConceptScore W48296306C80444323 @default.
• W48296306 hasConceptScore W48296306C97364631 @default.
• W48296306 hasLocation W482963061 @default.
• W48296306 hasOpenAccess W48296306 @default.
• W48296306 hasPrimaryLocation W482963061 @default.
• W48296306 hasRelatedWork W1479728228 @default.
• W48296306 hasRelatedWork W1537435730 @default.
• W48296306 hasRelatedWork W1588085858 @default.
• W48296306 hasRelatedWork W1683212044 @default.
• W48296306 hasRelatedWork W1973391999 @default.
• W48296306 hasRelatedWork W1984806351 @default.
• W48296306 hasRelatedWork W1994227541 @default.
• W48296306 hasRelatedWork W2028441269 @default.
• W48296306 hasRelatedWork W2037576563 @default.
• W48296306 hasRelatedWork W2038809129 @default.
• W48296306 hasRelatedWork W2045474169 @default.

• next