Matches in SemOpenAlex for { <https://semopenalex.org/work/W1529124572> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1529124572 endingPage "852" @default.
- W1529124572 startingPage "846" @default.
- W1529124572 abstract "In this paper we explore the computational aspects of Propositional Power Default Reasoning (PDR), a form of non-monotonic reasoning in which the underlying logic is Kleene's 3-valued propositional logic. PDR leads to a concise meaning of the problem of skeptical entailment which has better complexity characteristics than the usual formalisms (co-NP(3)-Complete instead of ?2P-Complete). We take advantage of this in an implementation called powdef to encode and solve hard graph problems and explore randomly generated instances of skeptical entailment." @default.
- W1529124572 created "2016-06-24" @default.
- W1529124572 creator A5014037992 @default.
- W1529124572 creator A5019204872 @default.
- W1529124572 creator A5046662102 @default.
- W1529124572 date "1998-07-01" @default.
- W1529124572 modified "2023-09-24" @default.
- W1529124572 title "Experimenting with power default reasoning" @default.
- W1529124572 cites W137716170 @default.
- W1529124572 cites W1520957705 @default.
- W1529124572 cites W1544564247 @default.
- W1529124572 cites W1556434751 @default.
- W1529124572 cites W1602972790 @default.
- W1529124572 cites W1967140769 @default.
- W1529124572 cites W1997714358 @default.
- W1529124572 cites W2017127020 @default.
- W1529124572 cites W2019449346 @default.
- W1529124572 cites W2048746006 @default.
- W1529124572 cites W2062897452 @default.
- W1529124572 cites W2090039116 @default.
- W1529124572 cites W2148718809 @default.
- W1529124572 cites W2155322595 @default.
- W1529124572 cites W2157884310 @default.
- W1529124572 cites W2404266688 @default.
- W1529124572 cites W4983232 @default.
- W1529124572 hasPublicationYear "1998" @default.
- W1529124572 type Work @default.
- W1529124572 sameAs 1529124572 @default.
- W1529124572 citedByCount "3" @default.
- W1529124572 crossrefType "proceedings-article" @default.
- W1529124572 hasAuthorship W1529124572A5014037992 @default.
- W1529124572 hasAuthorship W1529124572A5019204872 @default.
- W1529124572 hasAuthorship W1529124572A5046662102 @default.
- W1529124572 hasConcept C102993220 @default.
- W1529124572 hasConcept C134752490 @default.
- W1529124572 hasConcept C154945302 @default.
- W1529124572 hasConcept C159032336 @default.
- W1529124572 hasConcept C160236029 @default.
- W1529124572 hasConcept C171018156 @default.
- W1529124572 hasConcept C195818886 @default.
- W1529124572 hasConcept C199360897 @default.
- W1529124572 hasConcept C203659156 @default.
- W1529124572 hasConcept C2524010 @default.
- W1529124572 hasConcept C33923547 @default.
- W1529124572 hasConcept C3845977 @default.
- W1529124572 hasConcept C41008148 @default.
- W1529124572 hasConcept C62360110 @default.
- W1529124572 hasConcept C69562738 @default.
- W1529124572 hasConcept C80444323 @default.
- W1529124572 hasConcept C97364631 @default.
- W1529124572 hasConceptScore W1529124572C102993220 @default.
- W1529124572 hasConceptScore W1529124572C134752490 @default.
- W1529124572 hasConceptScore W1529124572C154945302 @default.
- W1529124572 hasConceptScore W1529124572C159032336 @default.
- W1529124572 hasConceptScore W1529124572C160236029 @default.
- W1529124572 hasConceptScore W1529124572C171018156 @default.
- W1529124572 hasConceptScore W1529124572C195818886 @default.
- W1529124572 hasConceptScore W1529124572C199360897 @default.
- W1529124572 hasConceptScore W1529124572C203659156 @default.
- W1529124572 hasConceptScore W1529124572C2524010 @default.
- W1529124572 hasConceptScore W1529124572C33923547 @default.
- W1529124572 hasConceptScore W1529124572C3845977 @default.
- W1529124572 hasConceptScore W1529124572C41008148 @default.
- W1529124572 hasConceptScore W1529124572C62360110 @default.
- W1529124572 hasConceptScore W1529124572C69562738 @default.
- W1529124572 hasConceptScore W1529124572C80444323 @default.
- W1529124572 hasConceptScore W1529124572C97364631 @default.
- W1529124572 hasLocation W15291245721 @default.
- W1529124572 hasOpenAccess W1529124572 @default.
- W1529124572 hasPrimaryLocation W15291245721 @default.
- W1529124572 hasRelatedWork W134813623 @default.
- W1529124572 hasRelatedWork W1490970607 @default.
- W1529124572 hasRelatedWork W1497274966 @default.
- W1529124572 hasRelatedWork W1510566887 @default.
- W1529124572 hasRelatedWork W1561816611 @default.
- W1529124572 hasRelatedWork W1609266027 @default.
- W1529124572 hasRelatedWork W1984806351 @default.
- W1529124572 hasRelatedWork W1985310272 @default.
- W1529124572 hasRelatedWork W2000042161 @default.
- W1529124572 hasRelatedWork W2006784674 @default.
- W1529124572 hasRelatedWork W2017956822 @default.
- W1529124572 hasRelatedWork W2031445364 @default.
- W1529124572 hasRelatedWork W2041998877 @default.
- W1529124572 hasRelatedWork W2065153879 @default.
- W1529124572 hasRelatedWork W2143133577 @default.
- W1529124572 hasRelatedWork W2157884310 @default.
- W1529124572 hasRelatedWork W2562041970 @default.
- W1529124572 hasRelatedWork W56211936 @default.
- W1529124572 hasRelatedWork W77505103 @default.
- W1529124572 hasRelatedWork W1660287273 @default.
- W1529124572 isParatext "false" @default.
- W1529124572 isRetracted "false" @default.
- W1529124572 magId "1529124572" @default.
- W1529124572 workType "article" @default.