Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105981349> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2105981349 endingPage "377" @default.
- W2105981349 startingPage "377" @default.
- W2105981349 abstract "In recent years, scientists in China have made significant contributions in many fields of artificial intelligence and knowledge engineering. The aim of this special issue is to help international colleagues have a better understanding of the current research activities in this area carried out in China. We solicited six papers from active research groups. Each paper has been reviewed rigorously by three international referees. Finally, we selected four papers for this special issue. The first paper by Wei Li introduces first-order languages to describe beliefs, and defines a formal inference system named R-calculus for conducting belief revision in the first-order logic. It is one of the few efforts of using first-order logic rather than propositional logic in this direction. Using the R-calculus, all maximal contractions can be derived formally from a given base of belief set with respect to its refutation by facts. The reachability, soundness and completeness of the R-calculus system are proved in this paper." @default.
- W2105981349 created "2016-06-24" @default.
- W2105981349 creator A5010751143 @default.
- W2105981349 creator A5056628026 @default.
- W2105981349 date "2007-07-01" @default.
- W2105981349 modified "2023-10-14" @default.
- W2105981349 title "Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China" @default.
- W2105981349 doi "https://doi.org/10.1093/comjnl/bxm011" @default.
- W2105981349 hasPublicationYear "2007" @default.
- W2105981349 type Work @default.
- W2105981349 sameAs 2105981349 @default.
- W2105981349 citedByCount "0" @default.
- W2105981349 crossrefType "journal-article" @default.
- W2105981349 hasAuthorship W2105981349A5010751143 @default.
- W2105981349 hasAuthorship W2105981349A5056628026 @default.
- W2105981349 hasConcept C100481476 @default.
- W2105981349 hasConcept C102993220 @default.
- W2105981349 hasConcept C110039528 @default.
- W2105981349 hasConcept C134306372 @default.
- W2105981349 hasConcept C136643341 @default.
- W2105981349 hasConcept C154945302 @default.
- W2105981349 hasConcept C17231256 @default.
- W2105981349 hasConcept C177264268 @default.
- W2105981349 hasConcept C17744445 @default.
- W2105981349 hasConcept C191935318 @default.
- W2105981349 hasConcept C199343813 @default.
- W2105981349 hasConcept C199360897 @default.
- W2105981349 hasConcept C199539241 @default.
- W2105981349 hasConcept C203659156 @default.
- W2105981349 hasConcept C2776214188 @default.
- W2105981349 hasConcept C2777686260 @default.
- W2105981349 hasConcept C33923547 @default.
- W2105981349 hasConcept C39920170 @default.
- W2105981349 hasConcept C41008148 @default.
- W2105981349 hasConcept C62073222 @default.
- W2105981349 hasConcept C6489637 @default.
- W2105981349 hasConcept C69562738 @default.
- W2105981349 hasConcept C71924100 @default.
- W2105981349 hasConcept C80444323 @default.
- W2105981349 hasConceptScore W2105981349C100481476 @default.
- W2105981349 hasConceptScore W2105981349C102993220 @default.
- W2105981349 hasConceptScore W2105981349C110039528 @default.
- W2105981349 hasConceptScore W2105981349C134306372 @default.
- W2105981349 hasConceptScore W2105981349C136643341 @default.
- W2105981349 hasConceptScore W2105981349C154945302 @default.
- W2105981349 hasConceptScore W2105981349C17231256 @default.
- W2105981349 hasConceptScore W2105981349C177264268 @default.
- W2105981349 hasConceptScore W2105981349C17744445 @default.
- W2105981349 hasConceptScore W2105981349C191935318 @default.
- W2105981349 hasConceptScore W2105981349C199343813 @default.
- W2105981349 hasConceptScore W2105981349C199360897 @default.
- W2105981349 hasConceptScore W2105981349C199539241 @default.
- W2105981349 hasConceptScore W2105981349C203659156 @default.
- W2105981349 hasConceptScore W2105981349C2776214188 @default.
- W2105981349 hasConceptScore W2105981349C2777686260 @default.
- W2105981349 hasConceptScore W2105981349C33923547 @default.
- W2105981349 hasConceptScore W2105981349C39920170 @default.
- W2105981349 hasConceptScore W2105981349C41008148 @default.
- W2105981349 hasConceptScore W2105981349C62073222 @default.
- W2105981349 hasConceptScore W2105981349C6489637 @default.
- W2105981349 hasConceptScore W2105981349C69562738 @default.
- W2105981349 hasConceptScore W2105981349C71924100 @default.
- W2105981349 hasConceptScore W2105981349C80444323 @default.
- W2105981349 hasIssue "4" @default.
- W2105981349 hasLocation W21059813491 @default.
- W2105981349 hasOpenAccess W2105981349 @default.
- W2105981349 hasPrimaryLocation W21059813491 @default.
- W2105981349 hasRelatedWork W1521348091 @default.
- W2105981349 hasRelatedWork W2001583856 @default.
- W2105981349 hasRelatedWork W2025571074 @default.
- W2105981349 hasRelatedWork W2141010048 @default.
- W2105981349 hasRelatedWork W2945569854 @default.
- W2105981349 hasRelatedWork W3043547779 @default.
- W2105981349 hasRelatedWork W3195591002 @default.
- W2105981349 hasRelatedWork W426027547 @default.
- W2105981349 hasRelatedWork W648555766 @default.
- W2105981349 hasRelatedWork W2335988281 @default.
- W2105981349 hasVolume "50" @default.
- W2105981349 isParatext "false" @default.
- W2105981349 isRetracted "false" @default.
- W2105981349 magId "2105981349" @default.
- W2105981349 workType "editorial" @default.