Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505268908> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1505268908 endingPage "216" @default.
- W1505268908 startingPage "203" @default.
- W1505268908 abstract "In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics." @default.
- W1505268908 created "2016-06-24" @default.
- W1505268908 creator A5000093016 @default.
- W1505268908 creator A5002078119 @default.
- W1505268908 creator A5038489315 @default.
- W1505268908 creator A5060284292 @default.
- W1505268908 date "1995-01-01" @default.
- W1505268908 modified "2023-09-23" @default.
- W1505268908 title "Hypothetical updates, priority and inconsistency in a logic programming language" @default.
- W1505268908 cites W1506660940 @default.
- W1505268908 cites W1543451444 @default.
- W1505268908 cites W1986404405 @default.
- W1505268908 cites W2020153579 @default.
- W1505268908 cites W2072467620 @default.
- W1505268908 cites W2083474880 @default.
- W1505268908 cites W2084749326 @default.
- W1505268908 cites W2165434002 @default.
- W1505268908 doi "https://doi.org/10.1007/3-540-59487-6_15" @default.
- W1505268908 hasPublicationYear "1995" @default.
- W1505268908 type Work @default.
- W1505268908 sameAs 1505268908 @default.
- W1505268908 citedByCount "7" @default.
- W1505268908 countsByYear W15052689082013 @default.
- W1505268908 countsByYear W15052689082017 @default.
- W1505268908 crossrefType "book-chapter" @default.
- W1505268908 hasAuthorship W1505268908A5000093016 @default.
- W1505268908 hasAuthorship W1505268908A5002078119 @default.
- W1505268908 hasAuthorship W1505268908A5038489315 @default.
- W1505268908 hasAuthorship W1505268908A5060284292 @default.
- W1505268908 hasConcept C105795698 @default.
- W1505268908 hasConcept C128838566 @default.
- W1505268908 hasConcept C137631369 @default.
- W1505268908 hasConcept C154945302 @default.
- W1505268908 hasConcept C173404611 @default.
- W1505268908 hasConcept C176783269 @default.
- W1505268908 hasConcept C184337299 @default.
- W1505268908 hasConcept C185592680 @default.
- W1505268908 hasConcept C188027245 @default.
- W1505268908 hasConcept C199360897 @default.
- W1505268908 hasConcept C2524010 @default.
- W1505268908 hasConcept C27508121 @default.
- W1505268908 hasConcept C2776036281 @default.
- W1505268908 hasConcept C2776436953 @default.
- W1505268908 hasConcept C33762810 @default.
- W1505268908 hasConcept C33923547 @default.
- W1505268908 hasConcept C41008148 @default.
- W1505268908 hasConcept C44616089 @default.
- W1505268908 hasConcept C49937458 @default.
- W1505268908 hasConcept C71139939 @default.
- W1505268908 hasConcept C77088390 @default.
- W1505268908 hasConcept C80444323 @default.
- W1505268908 hasConceptScore W1505268908C105795698 @default.
- W1505268908 hasConceptScore W1505268908C128838566 @default.
- W1505268908 hasConceptScore W1505268908C137631369 @default.
- W1505268908 hasConceptScore W1505268908C154945302 @default.
- W1505268908 hasConceptScore W1505268908C173404611 @default.
- W1505268908 hasConceptScore W1505268908C176783269 @default.
- W1505268908 hasConceptScore W1505268908C184337299 @default.
- W1505268908 hasConceptScore W1505268908C185592680 @default.
- W1505268908 hasConceptScore W1505268908C188027245 @default.
- W1505268908 hasConceptScore W1505268908C199360897 @default.
- W1505268908 hasConceptScore W1505268908C2524010 @default.
- W1505268908 hasConceptScore W1505268908C27508121 @default.
- W1505268908 hasConceptScore W1505268908C2776036281 @default.
- W1505268908 hasConceptScore W1505268908C2776436953 @default.
- W1505268908 hasConceptScore W1505268908C33762810 @default.
- W1505268908 hasConceptScore W1505268908C33923547 @default.
- W1505268908 hasConceptScore W1505268908C41008148 @default.
- W1505268908 hasConceptScore W1505268908C44616089 @default.
- W1505268908 hasConceptScore W1505268908C49937458 @default.
- W1505268908 hasConceptScore W1505268908C71139939 @default.
- W1505268908 hasConceptScore W1505268908C77088390 @default.
- W1505268908 hasConceptScore W1505268908C80444323 @default.
- W1505268908 hasLocation W15052689081 @default.
- W1505268908 hasOpenAccess W1505268908 @default.
- W1505268908 hasPrimaryLocation W15052689081 @default.
- W1505268908 hasRelatedWork W102563513 @default.
- W1505268908 hasRelatedWork W1490546714 @default.
- W1505268908 hasRelatedWork W1505268908 @default.
- W1505268908 hasRelatedWork W1596719193 @default.
- W1505268908 hasRelatedWork W1967419422 @default.
- W1505268908 hasRelatedWork W204359457 @default.
- W1505268908 hasRelatedWork W2116733130 @default.
- W1505268908 hasRelatedWork W2118850793 @default.
- W1505268908 hasRelatedWork W2140769824 @default.
- W1505268908 hasRelatedWork W2171919780 @default.
- W1505268908 isParatext "false" @default.
- W1505268908 isRetracted "false" @default.
- W1505268908 magId "1505268908" @default.
- W1505268908 workType "book-chapter" @default.