Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896714085> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2896714085 abstract "On closer inspection many apparent contradictions turn out to be mere disagreements between distinct sources of information. For example, if a source (s_1) says P and a source (s_2) says (lnot P), their disagreement would only become an actual contradiction if we naively merged what they say into our own knowledge base." @default.
- W2896714085 created "2018-10-26" @default.
- W2896714085 creator A5019840140 @default.
- W2896714085 date "2018-01-01" @default.
- W2896714085 modified "2023-09-25" @default.
- W2896714085 title "Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT" @default.
- W2896714085 cites W1448681095 @default.
- W2896714085 cites W145141183 @default.
- W2896714085 cites W1480909796 @default.
- W2896714085 cites W1481398220 @default.
- W2896714085 cites W1553511155 @default.
- W2896714085 cites W1613706077 @default.
- W2896714085 cites W1967693793 @default.
- W2896714085 cites W1984493109 @default.
- W2896714085 cites W1992673035 @default.
- W2896714085 cites W2149420462 @default.
- W2896714085 cites W2158545608 @default.
- W2896714085 cites W2295924173 @default.
- W2896714085 cites W2477099428 @default.
- W2896714085 cites W2483166113 @default.
- W2896714085 cites W2495710336 @default.
- W2896714085 cites W340252736 @default.
- W2896714085 cites W4205204813 @default.
- W2896714085 cites W4211144022 @default.
- W2896714085 doi "https://doi.org/10.1007/978-3-319-98797-2_7" @default.
- W2896714085 hasPublicationYear "2018" @default.
- W2896714085 type Work @default.
- W2896714085 sameAs 2896714085 @default.
- W2896714085 citedByCount "0" @default.
- W2896714085 crossrefType "book-chapter" @default.
- W2896714085 hasAuthorship W2896714085A5019840140 @default.
- W2896714085 hasConcept C111472728 @default.
- W2896714085 hasConcept C134306372 @default.
- W2896714085 hasConcept C138885662 @default.
- W2896714085 hasConcept C154945302 @default.
- W2896714085 hasConcept C199343813 @default.
- W2896714085 hasConcept C2776728590 @default.
- W2896714085 hasConcept C2777686260 @default.
- W2896714085 hasConcept C33923547 @default.
- W2896714085 hasConcept C41008148 @default.
- W2896714085 hasConcept C41608201 @default.
- W2896714085 hasConcept C42058472 @default.
- W2896714085 hasConcept C71924100 @default.
- W2896714085 hasConceptScore W2896714085C111472728 @default.
- W2896714085 hasConceptScore W2896714085C134306372 @default.
- W2896714085 hasConceptScore W2896714085C138885662 @default.
- W2896714085 hasConceptScore W2896714085C154945302 @default.
- W2896714085 hasConceptScore W2896714085C199343813 @default.
- W2896714085 hasConceptScore W2896714085C2776728590 @default.
- W2896714085 hasConceptScore W2896714085C2777686260 @default.
- W2896714085 hasConceptScore W2896714085C33923547 @default.
- W2896714085 hasConceptScore W2896714085C41008148 @default.
- W2896714085 hasConceptScore W2896714085C41608201 @default.
- W2896714085 hasConceptScore W2896714085C42058472 @default.
- W2896714085 hasConceptScore W2896714085C71924100 @default.
- W2896714085 hasLocation W28967140851 @default.
- W2896714085 hasOpenAccess W2896714085 @default.
- W2896714085 hasPrimaryLocation W28967140851 @default.
- W2896714085 hasRelatedWork W13326273 @default.
- W2896714085 hasRelatedWork W141894071 @default.
- W2896714085 hasRelatedWork W1527785599 @default.
- W2896714085 hasRelatedWork W1775575027 @default.
- W2896714085 hasRelatedWork W1963736331 @default.
- W2896714085 hasRelatedWork W1990339030 @default.
- W2896714085 hasRelatedWork W2056266043 @default.
- W2896714085 hasRelatedWork W2068886974 @default.
- W2896714085 hasRelatedWork W2076702998 @default.
- W2896714085 hasRelatedWork W2087105028 @default.
- W2896714085 hasRelatedWork W2091204814 @default.
- W2896714085 hasRelatedWork W2104180427 @default.
- W2896714085 hasRelatedWork W2148273459 @default.
- W2896714085 hasRelatedWork W2282442803 @default.
- W2896714085 hasRelatedWork W2312970866 @default.
- W2896714085 hasRelatedWork W2317458861 @default.
- W2896714085 hasRelatedWork W2334156613 @default.
- W2896714085 hasRelatedWork W2505347281 @default.
- W2896714085 hasRelatedWork W2902954416 @default.
- W2896714085 hasRelatedWork W3014305287 @default.
- W2896714085 isParatext "false" @default.
- W2896714085 isRetracted "false" @default.
- W2896714085 magId "2896714085" @default.
- W2896714085 workType "book-chapter" @default.