Matches in SemOpenAlex for { <https://semopenalex.org/work/W22119157> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W22119157 endingPage "1500" @default.
- W22119157 startingPage "1495" @default.
- W22119157 abstract "We analyze conditions that allow for sound and efficient non-monotonic inference For that we consider theories comprised of rules and observations and a semantic framework developed elsewhere that allows us to view such theories as dynamic systems systems with a transition function f that maps states to sets of possible successor states and a plausibility function that determines the relative likelihood of those transitions In this framework the transition function f is determined by the rules and the plausibility function is provided independently In this work we aim to identify plausibility functions that have good semantical and computational properties We do so by identifying a vet of tore predictions to be accounted for that can be computed in polynomial time, can be justified in simple terms and are not tied to either Horn theories or closed world assumptions. The resulting functions allow us to handle an interesting class of theories in a justifiable and efficient manner." @default.
- W22119157 created "2016-06-24" @default.
- W22119157 creator A5021070549 @default.
- W22119157 creator A5023014422 @default.
- W22119157 creator A5046427368 @default.
- W22119157 date "1995-08-20" @default.
- W22119157 modified "2023-09-24" @default.
- W22119157 title "Sound and efficient non-monotonic inference" @default.
- W22119157 cites W1504628537 @default.
- W22119157 cites W1591851599 @default.
- W22119157 cites W1984715534 @default.
- W22119157 cites W1993512664 @default.
- W22119157 cites W2133297989 @default.
- W22119157 cites W2143336154 @default.
- W22119157 cites W2150191218 @default.
- W22119157 cites W2167907160 @default.
- W22119157 cites W2172835203 @default.
- W22119157 cites W2175235637 @default.
- W22119157 cites W2911823491 @default.
- W22119157 hasPublicationYear "1995" @default.
- W22119157 type Work @default.
- W22119157 sameAs 22119157 @default.
- W22119157 citedByCount "0" @default.
- W22119157 crossrefType "proceedings-article" @default.
- W22119157 hasAuthorship W22119157A5021070549 @default.
- W22119157 hasAuthorship W22119157A5023014422 @default.
- W22119157 hasAuthorship W22119157A5046427368 @default.
- W22119157 hasConcept C111472728 @default.
- W22119157 hasConcept C134306372 @default.
- W22119157 hasConcept C138885662 @default.
- W22119157 hasConcept C14036430 @default.
- W22119157 hasConcept C144237770 @default.
- W22119157 hasConcept C152076505 @default.
- W22119157 hasConcept C154945302 @default.
- W22119157 hasConcept C15744967 @default.
- W22119157 hasConcept C19417346 @default.
- W22119157 hasConcept C2776214188 @default.
- W22119157 hasConcept C2780586882 @default.
- W22119157 hasConcept C33923547 @default.
- W22119157 hasConcept C41008148 @default.
- W22119157 hasConcept C72169020 @default.
- W22119157 hasConcept C75306776 @default.
- W22119157 hasConcept C78458016 @default.
- W22119157 hasConcept C80444323 @default.
- W22119157 hasConcept C86803240 @default.
- W22119157 hasConceptScore W22119157C111472728 @default.
- W22119157 hasConceptScore W22119157C134306372 @default.
- W22119157 hasConceptScore W22119157C138885662 @default.
- W22119157 hasConceptScore W22119157C14036430 @default.
- W22119157 hasConceptScore W22119157C144237770 @default.
- W22119157 hasConceptScore W22119157C152076505 @default.
- W22119157 hasConceptScore W22119157C154945302 @default.
- W22119157 hasConceptScore W22119157C15744967 @default.
- W22119157 hasConceptScore W22119157C19417346 @default.
- W22119157 hasConceptScore W22119157C2776214188 @default.
- W22119157 hasConceptScore W22119157C2780586882 @default.
- W22119157 hasConceptScore W22119157C33923547 @default.
- W22119157 hasConceptScore W22119157C41008148 @default.
- W22119157 hasConceptScore W22119157C72169020 @default.
- W22119157 hasConceptScore W22119157C75306776 @default.
- W22119157 hasConceptScore W22119157C78458016 @default.
- W22119157 hasConceptScore W22119157C80444323 @default.
- W22119157 hasConceptScore W22119157C86803240 @default.
- W22119157 hasLocation W221191571 @default.
- W22119157 hasOpenAccess W22119157 @default.
- W22119157 hasPrimaryLocation W221191571 @default.
- W22119157 hasRelatedWork W1482778976 @default.
- W22119157 hasRelatedWork W1484997996 @default.
- W22119157 hasRelatedWork W1492139312 @default.
- W22119157 hasRelatedWork W2052670932 @default.
- W22119157 hasRelatedWork W2184726800 @default.
- W22119157 hasRelatedWork W2240275105 @default.
- W22119157 hasRelatedWork W2291171832 @default.
- W22119157 hasRelatedWork W2314063969 @default.
- W22119157 hasRelatedWork W2738169846 @default.
- W22119157 hasRelatedWork W2757596774 @default.
- W22119157 hasRelatedWork W2897235491 @default.
- W22119157 hasRelatedWork W2917259956 @default.
- W22119157 hasRelatedWork W2949638400 @default.
- W22119157 hasRelatedWork W2963651249 @default.
- W22119157 hasRelatedWork W2981237571 @default.
- W22119157 hasRelatedWork W3035873367 @default.
- W22119157 hasRelatedWork W3098520424 @default.
- W22119157 hasRelatedWork W3123164209 @default.
- W22119157 hasRelatedWork W74225879 @default.
- W22119157 hasRelatedWork W2336911432 @default.
- W22119157 isParatext "false" @default.
- W22119157 isRetracted "false" @default.
- W22119157 magId "22119157" @default.
- W22119157 workType "article" @default.