Where Do Facts Matter? The Digital Paradox in Magazines\u27 Fact-Checking Practices [PDF]
Print magazines are unique among nonfiction media in their dedication of staff and resources to in-depth, word-by-word verification of stories. Over time, this practice has established magazines’ reputation for reliability, helped them retain loyal ...
Bloyd-Peshkin, Sharon +1 more
core +1 more source
“Let’s Check it Seriously”: Localizing Fact-Checking Practice in China
This study explores emerging fact-checking service in China and how it operates in China’s context. News articles from Fact Check, the first fact-checker in China, are analyzed in comparison with PolitiFact in the United States (N = 379).
Yusi Liu, Ruiming Zhou
doaj
Real-time fact-checking can change people’s opinion about a candidate, but only if the ratings are decisive. [PDF]
Fact-checking of political events has become an important component of 21st century political campaigns. But does fact-checking actually influence how people vote? In new research, Amanda Wintersieck finds that voters’ evaluations of a candidate’s debate
Wintersieck, Amanda
core
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report) [PDF]
Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state.
Kaiser, Alexander +2 more
core
Evaluating The Effectiveness of Popular Fact-Checking Sites: A Comparative Review
The article is devoted to the study of Uzbek fact-checking platforms and analyzes them. The power of truth in the digital age ultimately depends not just on the technical capacity to identify and correct false information, but on the broader social ...
Н. Ф. Мұратова +1 more
doaj +1 more source
Fact Checking in Knowledge Graphs with Ontological Subgraph Patterns
Given a knowledge graph and a fact (a triple statement), fact checking is to decide whether the fact belongs to the missing part of the graph. Facts in real-world knowledge bases are typically interpreted by both topological and semantic context that is ...
Peng Lin, Qi Song, Yinghui Wu
doaj +1 more source
Fact Checking with Insufficient Evidence
Pepa Atanasova +3 more
doaj +1 more source
"More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking [PDF]
The standard technique for LTL model checking ($M\models\neg\vi$) consists on translating the negation of the LTL specification, $\vi$, into a B\"uchi automaton $A_\vi$, and then on checking if the product $M \times A_\vi$ has an empty language.
Sebastiani, Roberto, Tonetta, Stefano
core +1 more source
Lower Bounds for the Complexity of Monadic Second-Order Logic
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO) can be decided in linear time on any class of graphs of bounded treewidth, or in other words, MSO is fixed-parameter tractable in linear
Kreutzer, Stephan, Tazari, Siamak
core +2 more sources
Automated Justification Production for Claim Veracity in Fact Checking: A Survey on Architectures and Approaches [PDF]
Automated Fact-Checking (AFC) is the automated verification of claim accuracy. AFC is crucial in discerning truth from misinformation, especially given the huge amounts of content are generated online daily.
Islam Eldifrawi +2 more
semanticscholar +1 more source

