Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989222890> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2989222890 abstract "A novel theory called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension. To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split. Most theorems of default logic can be reproduced in the setting of the bi-default logic. It is proven that the bi-default logic is a generalization of the default logic in the presence of inconsistency. A method is provided as an alternative approach for making the reasoning ability of paraconsistent logic as powerful as the classical one." @default.
- W2989222890 created "2019-11-22" @default.
- W2989222890 creator A5060285880 @default.
- W2989222890 date "2004-01-01" @default.
- W2989222890 modified "2023-09-25" @default.
- W2989222890 title "Default Reasoning with Inconsistent Knowledge" @default.
- W2989222890 hasPublicationYear "2004" @default.
- W2989222890 type Work @default.
- W2989222890 sameAs 2989222890 @default.
- W2989222890 citedByCount "0" @default.
- W2989222890 crossrefType "journal-article" @default.
- W2989222890 hasAuthorship W2989222890A5060285880 @default.
- W2989222890 hasConcept C102993220 @default.
- W2989222890 hasConcept C110039528 @default.
- W2989222890 hasConcept C134306372 @default.
- W2989222890 hasConcept C154945302 @default.
- W2989222890 hasConcept C159032336 @default.
- W2989222890 hasConcept C160236029 @default.
- W2989222890 hasConcept C162324750 @default.
- W2989222890 hasConcept C16796852 @default.
- W2989222890 hasConcept C169896238 @default.
- W2989222890 hasConcept C177148314 @default.
- W2989222890 hasConcept C190253527 @default.
- W2989222890 hasConcept C199360897 @default.
- W2989222890 hasConcept C203659156 @default.
- W2989222890 hasConcept C204321447 @default.
- W2989222890 hasConcept C2185349 @default.
- W2989222890 hasConcept C2777142071 @default.
- W2989222890 hasConcept C2778029271 @default.
- W2989222890 hasConcept C33923547 @default.
- W2989222890 hasConcept C3845977 @default.
- W2989222890 hasConcept C41008148 @default.
- W2989222890 hasConcept C80444323 @default.
- W2989222890 hasConcept C97364631 @default.
- W2989222890 hasConceptScore W2989222890C102993220 @default.
- W2989222890 hasConceptScore W2989222890C110039528 @default.
- W2989222890 hasConceptScore W2989222890C134306372 @default.
- W2989222890 hasConceptScore W2989222890C154945302 @default.
- W2989222890 hasConceptScore W2989222890C159032336 @default.
- W2989222890 hasConceptScore W2989222890C160236029 @default.
- W2989222890 hasConceptScore W2989222890C162324750 @default.
- W2989222890 hasConceptScore W2989222890C16796852 @default.
- W2989222890 hasConceptScore W2989222890C169896238 @default.
- W2989222890 hasConceptScore W2989222890C177148314 @default.
- W2989222890 hasConceptScore W2989222890C190253527 @default.
- W2989222890 hasConceptScore W2989222890C199360897 @default.
- W2989222890 hasConceptScore W2989222890C203659156 @default.
- W2989222890 hasConceptScore W2989222890C204321447 @default.
- W2989222890 hasConceptScore W2989222890C2185349 @default.
- W2989222890 hasConceptScore W2989222890C2777142071 @default.
- W2989222890 hasConceptScore W2989222890C2778029271 @default.
- W2989222890 hasConceptScore W2989222890C33923547 @default.
- W2989222890 hasConceptScore W2989222890C3845977 @default.
- W2989222890 hasConceptScore W2989222890C41008148 @default.
- W2989222890 hasConceptScore W2989222890C80444323 @default.
- W2989222890 hasConceptScore W2989222890C97364631 @default.
- W2989222890 hasLocation W29892228901 @default.
- W2989222890 hasOpenAccess W2989222890 @default.
- W2989222890 hasPrimaryLocation W29892228901 @default.
- W2989222890 hasRelatedWork W1533062081 @default.
- W2989222890 hasRelatedWork W1545424768 @default.
- W2989222890 hasRelatedWork W1570170838 @default.
- W2989222890 hasRelatedWork W1584627940 @default.
- W2989222890 hasRelatedWork W1587594994 @default.
- W2989222890 hasRelatedWork W1600217631 @default.
- W2989222890 hasRelatedWork W1601784262 @default.
- W2989222890 hasRelatedWork W1791795960 @default.
- W2989222890 hasRelatedWork W1974174939 @default.
- W2989222890 hasRelatedWork W2087561262 @default.
- W2989222890 hasRelatedWork W2100078804 @default.
- W2989222890 hasRelatedWork W2164905047 @default.
- W2989222890 hasRelatedWork W2295099510 @default.
- W2989222890 hasRelatedWork W2365692196 @default.
- W2989222890 hasRelatedWork W2375042361 @default.
- W2989222890 hasRelatedWork W2399805785 @default.
- W2989222890 hasRelatedWork W2510221240 @default.
- W2989222890 hasRelatedWork W2666015 @default.
- W2989222890 hasRelatedWork W316482821 @default.
- W2989222890 hasRelatedWork W61757047 @default.
- W2989222890 isParatext "false" @default.
- W2989222890 isRetracted "false" @default.
- W2989222890 magId "2989222890" @default.
- W2989222890 workType "article" @default.