Matches in SemOpenAlex for { <https://semopenalex.org/work/W14412812> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W14412812 abstract "An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned. There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic." @default.
- W14412812 created "2016-06-24" @default.
- W14412812 creator A5015875987 @default.
- W14412812 creator A5053023440 @default.
- W14412812 creator A5060284292 @default.
- W14412812 date "2010-08-08" @default.
- W14412812 modified "2023-09-23" @default.
- W14412812 title "Revision, Acceptability and Context: Theoretical and Algorithmic Aspects" @default.
- W14412812 hasPublicationYear "2010" @default.
- W14412812 type Work @default.
- W14412812 sameAs 14412812 @default.
- W14412812 citedByCount "3" @default.
- W14412812 countsByYear W144128122012 @default.
- W14412812 countsByYear W144128122016 @default.
- W14412812 crossrefType "book" @default.
- W14412812 hasAuthorship W14412812A5015875987 @default.
- W14412812 hasAuthorship W14412812A5053023440 @default.
- W14412812 hasAuthorship W14412812A5060284292 @default.
- W14412812 hasConcept C102993220 @default.
- W14412812 hasConcept C107247716 @default.
- W14412812 hasConcept C126838900 @default.
- W14412812 hasConcept C144024400 @default.
- W14412812 hasConcept C151730666 @default.
- W14412812 hasConcept C154945302 @default.
- W14412812 hasConcept C199360897 @default.
- W14412812 hasConcept C203659156 @default.
- W14412812 hasConcept C204321447 @default.
- W14412812 hasConcept C26517878 @default.
- W14412812 hasConcept C2775940519 @default.
- W14412812 hasConcept C2777601897 @default.
- W14412812 hasConcept C2779343474 @default.
- W14412812 hasConcept C2781238097 @default.
- W14412812 hasConcept C36289849 @default.
- W14412812 hasConcept C38652104 @default.
- W14412812 hasConcept C41008148 @default.
- W14412812 hasConcept C71924100 @default.
- W14412812 hasConcept C86803240 @default.
- W14412812 hasConcept C98045186 @default.
- W14412812 hasConceptScore W14412812C102993220 @default.
- W14412812 hasConceptScore W14412812C107247716 @default.
- W14412812 hasConceptScore W14412812C126838900 @default.
- W14412812 hasConceptScore W14412812C144024400 @default.
- W14412812 hasConceptScore W14412812C151730666 @default.
- W14412812 hasConceptScore W14412812C154945302 @default.
- W14412812 hasConceptScore W14412812C199360897 @default.
- W14412812 hasConceptScore W14412812C203659156 @default.
- W14412812 hasConceptScore W14412812C204321447 @default.
- W14412812 hasConceptScore W14412812C26517878 @default.
- W14412812 hasConceptScore W14412812C2775940519 @default.
- W14412812 hasConceptScore W14412812C2777601897 @default.
- W14412812 hasConceptScore W14412812C2779343474 @default.
- W14412812 hasConceptScore W14412812C2781238097 @default.
- W14412812 hasConceptScore W14412812C36289849 @default.
- W14412812 hasConceptScore W14412812C38652104 @default.
- W14412812 hasConceptScore W14412812C41008148 @default.
- W14412812 hasConceptScore W14412812C71924100 @default.
- W14412812 hasConceptScore W14412812C86803240 @default.
- W14412812 hasConceptScore W14412812C98045186 @default.
- W14412812 hasLocation W144128121 @default.
- W14412812 hasOpenAccess W14412812 @default.
- W14412812 hasPrimaryLocation W144128121 @default.
- W14412812 hasRelatedWork W100510211 @default.
- W14412812 hasRelatedWork W1533662372 @default.
- W14412812 hasRelatedWork W1545729882 @default.
- W14412812 hasRelatedWork W1683212044 @default.
- W14412812 hasRelatedWork W173215068 @default.
- W14412812 hasRelatedWork W1883191840 @default.
- W14412812 hasRelatedWork W1967756796 @default.
- W14412812 hasRelatedWork W2034068590 @default.
- W14412812 hasRelatedWork W2078040181 @default.
- W14412812 hasRelatedWork W2106031510 @default.
- W14412812 hasRelatedWork W2157059082 @default.
- W14412812 hasRelatedWork W2159552238 @default.
- W14412812 hasRelatedWork W2168692628 @default.
- W14412812 hasRelatedWork W2175917793 @default.
- W14412812 hasRelatedWork W2613111260 @default.
- W14412812 hasRelatedWork W74799410 @default.
- W14412812 hasRelatedWork W2181356571 @default.
- W14412812 hasRelatedWork W2187382322 @default.
- W14412812 hasRelatedWork W22490764 @default.
- W14412812 hasRelatedWork W357920506 @default.
- W14412812 isParatext "false" @default.
- W14412812 isRetracted "false" @default.
- W14412812 magId "14412812" @default.
- W14412812 workType "book" @default.