FRINK Linked Data Fragments server

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

• W2233992046 endingPage "168" @default.
• W2233992046 startingPage "158" @default.
• W2233992046 abstract "Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, update operators are typically based on manipulating the knowledge base on the model-theoretic level. On the opposite side of the spectrum stand the semantics for updating Answer-Set Programs where most approaches need to rely on rule syntax. Yet, a unifying perspective that could embrace all these approaches is of great importance as it enables a deeper understanding of all involved methods and principles and creates room for their cross-fertilisation, ripening and further development.This paper bridges these seemingly irreconcilable approaches to updates. It introduces a novel monotonic characterisation of rules, dubbed RE-models, and shows it to be a more suitable semantic foundation for rule updates than SE-models. A generic framework for defining semantic rule update operators is then proposed. It is based on the idea of viewing a program as the set of sets of RE-models of its rules; updates are performed by introducing additional interpretations to the sets of RE-models of rules in the original program. It is shown that particular instances of the framework are closely related to both belief update principles and traditional approaches to rule updates and enjoy a range of plausible syntactic as well as semantic properties." @default.
• W2233992046 created "2016-06-24" @default.
• W2233992046 creator A5014173206 @default.
• W2233992046 creator A5066466375 @default.
• W2233992046 date "2012-06-10" @default.
• W2233992046 modified "2023-09-26" @default.
• W2233992046 title "Robust equivalence models for semantic updates of answer-set programs" @default.
• W2233992046 cites W1505455772 @default.
• W2233992046 cites W150743059 @default.
• W2233992046 cites W1543451444 @default.
• W2233992046 cites W1552914076 @default.
• W2233992046 cites W1563526711 @default.
• W2233992046 cites W1572384647 @default.
• W2233992046 cites W1594099509 @default.
• W2233992046 cites W1601726121 @default.
• W2233992046 cites W1602125674 @default.
• W2233992046 cites W1672891595 @default.
• W2233992046 cites W1843148560 @default.
• W2233992046 cites W1975682598 @default.
• W2233992046 cites W1982853556 @default.
• W2233992046 cites W1985274317 @default.
• W2233992046 cites W1988201713 @default.
• W2233992046 cites W2014895071 @default.
• W2233992046 cites W2022482529 @default.
• W2233992046 cites W2038896017 @default.
• W2233992046 cites W2041108981 @default.
• W2233992046 cites W2045427198 @default.
• W2233992046 cites W2058658036 @default.
• W2233992046 cites W2066287719 @default.
• W2233992046 cites W2076698873 @default.
• W2233992046 cites W2080015865 @default.
• W2233992046 cites W2084921023 @default.
• W2233992046 cites W2095794817 @default.
• W2233992046 cites W2105631606 @default.
• W2233992046 cites W2111353076 @default.
• W2233992046 cites W2116746190 @default.
• W2233992046 cites W2118128239 @default.
• W2233992046 cites W2149420462 @default.
• W2233992046 cites W2156974579 @default.
• W2233992046 cites W2157081549 @default.
• W2233992046 cites W2158951507 @default.
• W2233992046 cites W235753157 @default.
• W2233992046 cites W2568391096 @default.
• W2233992046 cites W2914023676 @default.
• W2233992046 cites W2914983426 @default.
• W2233992046 cites W578063101 @default.
• W2233992046 cites W85236698 @default.
• W2233992046 cites W91304397 @default.
• W2233992046 cites W2610361155 @default.
• W2233992046 hasPublicationYear "2012" @default.
• W2233992046 type Work @default.
• W2233992046 sameAs 2233992046 @default.
• W2233992046 citedByCount "16" @default.
• W2233992046 countsByYear W22339920462013 @default.
• W2233992046 countsByYear W22339920462014 @default.
• W2233992046 countsByYear W22339920462015 @default.
• W2233992046 countsByYear W22339920462016 @default.
• W2233992046 countsByYear W22339920462021 @default.
• W2233992046 crossrefType "proceedings-article" @default.
• W2233992046 hasAuthorship W2233992046A5014173206 @default.
• W2233992046 hasAuthorship W2233992046A5066466375 @default.
• W2233992046 hasConcept C118615104 @default.
• W2233992046 hasConcept C128913409 @default.
• W2233992046 hasConcept C142362112 @default.
• W2233992046 hasConcept C153349607 @default.
• W2233992046 hasConcept C154945302 @default.
• W2233992046 hasConcept C161301231 @default.
• W2233992046 hasConcept C177264268 @default.
• W2233992046 hasConcept C182620335 @default.
• W2233992046 hasConcept C184337299 @default.
• W2233992046 hasConcept C199360897 @default.
• W2233992046 hasConcept C2780069185 @default.
• W2233992046 hasConcept C33923547 @default.
• W2233992046 hasConcept C41008148 @default.
• W2233992046 hasConcept C4554734 @default.
• W2233992046 hasConcept C558565934 @default.
• W2233992046 hasConcept C60048249 @default.
• W2233992046 hasConcept C73301696 @default.
• W2233992046 hasConcept C80444323 @default.
• W2233992046 hasConceptScore W2233992046C118615104 @default.
• W2233992046 hasConceptScore W2233992046C128913409 @default.
• W2233992046 hasConceptScore W2233992046C142362112 @default.
• W2233992046 hasConceptScore W2233992046C153349607 @default.
• W2233992046 hasConceptScore W2233992046C154945302 @default.
• W2233992046 hasConceptScore W2233992046C161301231 @default.
• W2233992046 hasConceptScore W2233992046C177264268 @default.
• W2233992046 hasConceptScore W2233992046C182620335 @default.
• W2233992046 hasConceptScore W2233992046C184337299 @default.
• W2233992046 hasConceptScore W2233992046C199360897 @default.
• W2233992046 hasConceptScore W2233992046C2780069185 @default.
• W2233992046 hasConceptScore W2233992046C33923547 @default.
• W2233992046 hasConceptScore W2233992046C41008148 @default.
• W2233992046 hasConceptScore W2233992046C4554734 @default.
• W2233992046 hasConceptScore W2233992046C558565934 @default.
• W2233992046 hasConceptScore W2233992046C60048249 @default.
• W2233992046 hasConceptScore W2233992046C73301696 @default.
• W2233992046 hasConceptScore W2233992046C80444323 @default.
• W2233992046 hasLocation W22339920461 @default.

• next