320 likes | 472 Views
Outline. Contradiction DetectionAuContraire: Contradiction Detection with FunctionsExperimentsConclusions. 2. Detecting Contradictions. BornInMozart was born in SalzburgMozart was born in ViennaVisitedMozart visited SalzburgMozart visited Vienna. 3. BornIn is Functional, but Visited is no
E N D