From Natural Logic to Natural Reasoning

By Lauri Karttunen. 2015

10 citations recorded by the source corpus.

Subfields: Natural Language Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Natural Language Processing

1. Andreas Vlachos
2. Sebastian Riedel
3. Amrith Krishna
4. Lasha Abzianidze
5. James Thorne
6. Mohit Bansal
7. Neema Kotonya
8. Tim Rocktaschel

Citations in the corpus

• ProoFVer: Natural Logic Theorem Proving for Fact Verification (2021, background): “Figure 7 shows three instances of incorrect proofs from ProoFVer, which highlight some of the well known limitations in natural logic (Karttunen, 2015; MacCartney, 2009).”
• A Natural Proof System for Natural Language (2017, background): “…Zidane did not get a red card” as a further comment to (40).37 Materazzi caused Zidane to get a red card (40) Materazzi did not cause Zidane to get a red card (41) 36The properties of these verbs we are interested in are explored in Lauri Karttunen’s works (Karttunen, 1971, 2012, 2015) inter alia.”