FRINK Linked Data Fragments server

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

• W64594899 endingPage "411" @default.
• W64594899 startingPage "405" @default.
• W64594899 abstract "An approach for introducing default reasoning into first-order Horn clause theories is described. A default theory is expressed as a set of strict implications of the form α1 Λ ... Λ αn ⊃ β, and a set of default rules of the form α1 Λ ... Λ αn ⇒ β, where the αi and β are function-free literals. A partial order of sets of formulae is obtained from these sets of (strict and default) implications. Default reasoning is defined with respect to this ordering and a set of contingent ground facts. Crucially, only strict implications appear in this structure. Consequently the complexity of default reasoning is that of classical reasoning, together with an attendant overhead for manipulating the structure. This overhead is O(n2), where n is the number of original formulae. Hence for defaults in propositional Horn clause form time complexity is O(n2m) where m is the total length of the original formulae. The approach is sound, in that default reasoning in this structure is proven to conform to that of an extant system for default reasoning." @default.
• W64594899 created "2016-06-24" @default.
• W64594899 creator A5002046734 @default.
• W64594899 date "1991-07-14" @default.
• W64594899 modified "2023-09-24" @default.
• W64594899 title "Incorporating nonmonotonic reasoning in horn clause theories" @default.
• W64594899 cites W100882334 @default.
• W64594899 cites W105532013 @default.
• W64594899 cites W1591851599 @default.
• W64594899 cites W159196257 @default.
• W64594899 cites W1966552757 @default.
• W64594899 cites W1996347293 @default.
• W64594899 cites W1998363560 @default.
• W64594899 cites W2011992362 @default.
• W64594899 cites W2020153579 @default.
• W64594899 cites W2062539190 @default.
• W64594899 cites W2072291277 @default.
• W64594899 cites W2076439421 @default.
• W64594899 cites W2080142817 @default.
• W64594899 cites W2098805432 @default.
• W64594899 cites W2116965039 @default.
• W64594899 cites W2143336154 @default.
• W64594899 cites W2148175837 @default.
• W64594899 cites W2155322595 @default.
• W64594899 cites W2156017259 @default.
• W64594899 cites W2172835203 @default.
• W64594899 cites W2945259913 @default.
• W64594899 cites W63858687 @default.
• W64594899 hasPublicationYear "1991" @default.
• W64594899 type Work @default.
• W64594899 sameAs 64594899 @default.
• W64594899 citedByCount "1" @default.
• W64594899 crossrefType "proceedings-article" @default.
• W64594899 hasAuthorship W64594899A5002046734 @default.
• W64594899 hasConcept C10138342 @default.
• W64594899 hasConcept C102993220 @default.
• W64594899 hasConcept C11413529 @default.
• W64594899 hasConcept C118615104 @default.
• W64594899 hasConcept C128838566 @default.
• W64594899 hasConcept C152076505 @default.
• W64594899 hasConcept C154945302 @default.
• W64594899 hasConcept C15744967 @default.
• W64594899 hasConcept C159032336 @default.
• W64594899 hasConcept C160236029 @default.
• W64594899 hasConcept C162324750 @default.
• W64594899 hasConcept C177264268 @default.
• W64594899 hasConcept C189790780 @default.
• W64594899 hasConcept C19417346 @default.
• W64594899 hasConcept C199360897 @default.
• W64594899 hasConcept C203659156 @default.
• W64594899 hasConcept C2778523021 @default.
• W64594899 hasConcept C33923547 @default.
• W64594899 hasConcept C3845977 @default.
• W64594899 hasConcept C41008148 @default.
• W64594899 hasConcept C69637215 @default.
• W64594899 hasConcept C80444323 @default.
• W64594899 hasConcept C97364631 @default.
• W64594899 hasConceptScore W64594899C10138342 @default.
• W64594899 hasConceptScore W64594899C102993220 @default.
• W64594899 hasConceptScore W64594899C11413529 @default.
• W64594899 hasConceptScore W64594899C118615104 @default.
• W64594899 hasConceptScore W64594899C128838566 @default.
• W64594899 hasConceptScore W64594899C152076505 @default.
• W64594899 hasConceptScore W64594899C154945302 @default.
• W64594899 hasConceptScore W64594899C15744967 @default.
• W64594899 hasConceptScore W64594899C159032336 @default.
• W64594899 hasConceptScore W64594899C160236029 @default.
• W64594899 hasConceptScore W64594899C162324750 @default.
• W64594899 hasConceptScore W64594899C177264268 @default.
• W64594899 hasConceptScore W64594899C189790780 @default.
• W64594899 hasConceptScore W64594899C19417346 @default.
• W64594899 hasConceptScore W64594899C199360897 @default.
• W64594899 hasConceptScore W64594899C203659156 @default.
• W64594899 hasConceptScore W64594899C2778523021 @default.
• W64594899 hasConceptScore W64594899C33923547 @default.
• W64594899 hasConceptScore W64594899C3845977 @default.
• W64594899 hasConceptScore W64594899C41008148 @default.
• W64594899 hasConceptScore W64594899C69637215 @default.
• W64594899 hasConceptScore W64594899C80444323 @default.
• W64594899 hasConceptScore W64594899C97364631 @default.
• W64594899 hasLocation W645948991 @default.
• W64594899 hasOpenAccess W64594899 @default.
• W64594899 hasPrimaryLocation W645948991 @default.
• W64594899 hasRelatedWork W114456054 @default.
• W64594899 hasRelatedWork W143256286 @default.
• W64594899 hasRelatedWork W1489830241 @default.
• W64594899 hasRelatedWork W1577367575 @default.
• W64594899 hasRelatedWork W1577604126 @default.
• W64594899 hasRelatedWork W1628819734 @default.
• W64594899 hasRelatedWork W1748109475 @default.
• W64594899 hasRelatedWork W1845725642 @default.
• W64594899 hasRelatedWork W192775082 @default.
• W64594899 hasRelatedWork W1994609200 @default.
• W64594899 hasRelatedWork W24250159 @default.
• W64594899 hasRelatedWork W2773913289 @default.
• W64594899 hasRelatedWork W2899340125 @default.
• W64594899 hasRelatedWork W2899405748 @default.
• W64594899 hasRelatedWork W2983583570 @default.

• next