FRINK Linked Data Fragments server

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

• W2199182687 endingPage "386" @default.
• W2199182687 startingPage "379" @default.
• W2199182687 abstract "Declarative logic programs (LP) based on the well-founded semantics (WFS) are widely used for knowledge representation (KR). Logical functions are desirable expressively in KR, but when present make LP inferencing become undecidable. In this paper, we present radial restraint: a novel approach to bounded rationality in LP. Radial restraint is parameterized by a norm that measures the syntactic complexity of a term, along with an abstraction function based on that norm. When a term exceeds a bound for the norm, the term is assigned the WFS's third truth-value of undefined. If the norm is finitary, radial restraint guarantees finiteness of models and decidability of inferencing, even when logical functions are present. It further guarantees soundness, even when non-monotonicity is present. We give a fixed-point semantics for radially restrained well-founded models which soundly approximate well-founded models. We also show how to perform correct inferencing relative to such models, via SLG_ABS, an extension of tabled SLG resolution that uses norm-based abstraction functions. Finally we discuss how SLG_ABS is implemented in the engine of XSB Prolog, and scales to knowledge bases with more than 10^8 rules and facts." @default.
• W2199182687 created "2016-06-24" @default.
• W2199182687 creator A5030821392 @default.
• W2199182687 creator A5066015052 @default.
• W2199182687 date "2013-06-30" @default.
• W2199182687 modified "2023-09-25" @default.
• W2199182687 title "Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs" @default.
• W2199182687 cites W1506199548 @default.
• W2199182687 cites W1522225310 @default.
• W2199182687 cites W1540659332 @default.
• W2199182687 cites W1575020259 @default.
• W2199182687 cites W1582622569 @default.
• W2199182687 cites W1585614051 @default.
• W2199182687 cites W1681333182 @default.
• W2199182687 cites W1968513265 @default.
• W2199182687 cites W1979966822 @default.
• W2199182687 cites W1984715534 @default.
• W2199182687 cites W2031868932 @default.
• W2199182687 cites W2066734765 @default.
• W2199182687 cites W2070598037 @default.
• W2199182687 cites W2099143991 @default.
• W2199182687 cites W2108205915 @default.
• W2199182687 cites W2148717074 @default.
• W2199182687 cites W2148956286 @default.
• W2199182687 cites W2165876990 @default.
• W2199182687 cites W2963676309 @default.
• W2199182687 doi "https://doi.org/10.1609/aaai.v27i1.8682" @default.
• W2199182687 hasPublicationYear "2013" @default.
• W2199182687 type Work @default.
• W2199182687 sameAs 2199182687 @default.
• W2199182687 citedByCount "9" @default.
• W2199182687 countsByYear W21991826872013 @default.
• W2199182687 countsByYear W21991826872014 @default.
• W2199182687 countsByYear W21991826872015 @default.
• W2199182687 countsByYear W21991826872023 @default.
• W2199182687 crossrefType "journal-article" @default.
• W2199182687 hasAuthorship W2199182687A5030821392 @default.
• W2199182687 hasAuthorship W2199182687A5066015052 @default.
• W2199182687 hasBestOaLocation W21991826871 @default.
• W2199182687 hasConcept C11413529 @default.
• W2199182687 hasConcept C118615104 @default.
• W2199182687 hasConcept C134306372 @default.
• W2199182687 hasConcept C153269930 @default.
• W2199182687 hasConcept C154945302 @default.
• W2199182687 hasConcept C161301231 @default.
• W2199182687 hasConcept C165464430 @default.
• W2199182687 hasConcept C17744445 @default.
• W2199182687 hasConcept C191795146 @default.
• W2199182687 hasConcept C192034797 @default.
• W2199182687 hasConcept C199360897 @default.
• W2199182687 hasConcept C199539241 @default.
• W2199182687 hasConcept C2778003309 @default.
• W2199182687 hasConcept C33923547 @default.
• W2199182687 hasConcept C34388435 @default.
• W2199182687 hasConcept C39920170 @default.
• W2199182687 hasConcept C41008148 @default.
• W2199182687 hasConcept C72169020 @default.
• W2199182687 hasConcept C80444323 @default.
• W2199182687 hasConcept C81721847 @default.
• W2199182687 hasConceptScore W2199182687C11413529 @default.
• W2199182687 hasConceptScore W2199182687C118615104 @default.
• W2199182687 hasConceptScore W2199182687C134306372 @default.
• W2199182687 hasConceptScore W2199182687C153269930 @default.
• W2199182687 hasConceptScore W2199182687C154945302 @default.
• W2199182687 hasConceptScore W2199182687C161301231 @default.
• W2199182687 hasConceptScore W2199182687C165464430 @default.
• W2199182687 hasConceptScore W2199182687C17744445 @default.
• W2199182687 hasConceptScore W2199182687C191795146 @default.
• W2199182687 hasConceptScore W2199182687C192034797 @default.
• W2199182687 hasConceptScore W2199182687C199360897 @default.
• W2199182687 hasConceptScore W2199182687C199539241 @default.
• W2199182687 hasConceptScore W2199182687C2778003309 @default.
• W2199182687 hasConceptScore W2199182687C33923547 @default.
• W2199182687 hasConceptScore W2199182687C34388435 @default.
• W2199182687 hasConceptScore W2199182687C39920170 @default.
• W2199182687 hasConceptScore W2199182687C41008148 @default.
• W2199182687 hasConceptScore W2199182687C72169020 @default.
• W2199182687 hasConceptScore W2199182687C80444323 @default.
• W2199182687 hasConceptScore W2199182687C81721847 @default.
• W2199182687 hasIssue "1" @default.
• W2199182687 hasLocation W21991826871 @default.
• W2199182687 hasLocation W21991826872 @default.
• W2199182687 hasOpenAccess W2199182687 @default.
• W2199182687 hasPrimaryLocation W21991826871 @default.
• W2199182687 hasRelatedWork W1547454936 @default.
• W2199182687 hasRelatedWork W2037204124 @default.
• W2199182687 hasRelatedWork W2199182687 @default.
• W2199182687 hasRelatedWork W2404201279 @default.
• W2199182687 hasRelatedWork W2529633050 @default.
• W2199182687 hasRelatedWork W2743782362 @default.
• W2199182687 hasRelatedWork W2764270235 @default.
• W2199182687 hasRelatedWork W2893221311 @default.
• W2199182687 hasRelatedWork W2952426464 @default.
• W2199182687 hasRelatedWork W3184847830 @default.
• W2199182687 hasVolume "27" @default.
• W2199182687 isParatext "false" @default.
• W2199182687 isRetracted "false" @default.
• W2199182687 magId "2199182687" @default.

• next