The utilization of social media material in journalistic workflows is increasing, demanding automated methods for the identification of misand disinformation. Since textual contradiction across social media posts can be a signal of rumorousness, we seek to model how claims in Twitter posts are being textually contradicted. We identify two different contexts in which contradiction emerges: its b...

We present a novel leak detection algorithm. To prove the absence of a memory leak, the algorithm assumes its presence and runs a backward heap analysis to disprove this assumption. We have implemented this approach in a memory leak analysis tool and used it to analyze several routines that manipulate linked lists and trees. Because of the reverse nature of the algorithm, the analysis can local...

It was in 1911 that Łukasiewicz and Leśniewski met. Leśniewski himself reported that at that time he had read Łukasiewicz’s masterpiece On the Principle of Contradiction in Aristotle (1910), and, as Lejewski knew from Łukasiewicz, he said he had come to criticize the author. In the same year Leśniewski wrote “An Attempt at a Proof of the Principle of Contradiction”, which was published in 1912 ...