Matches in SemOpenAlex for { <https://semopenalex.org/work/W2250863723> ?p ?o ?g. }
- W2250863723 abstract "Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions. The prover is based on an analytic tableau method and employs syntactically and semantically motivated schematic rules. Pairing the prover with a preprocessor, which generates formulas of Natural Logic from linguistic expressions, results in a proof system for natural language. It is shown that the system obtains a comparable accuracy (81%) on the unseen SICK data while achieving the state-of-the-art precision (98%)." @default.
- W2250863723 created "2016-06-24" @default.
- W2250863723 creator A5071765023 @default.
- W2250863723 date "2015-01-01" @default.
- W2250863723 modified "2023-09-26" @default.
- W2250863723 title "A Tableau Prover for Natural Logic and Language" @default.
- W2250863723 cites W138011893 @default.
- W2250863723 cites W1502742190 @default.
- W2250863723 cites W1510718138 @default.
- W2250863723 cites W1554618854 @default.
- W2250863723 cites W1567277581 @default.
- W2250863723 cites W1758600199 @default.
- W2250863723 cites W1984052055 @default.
- W2250863723 cites W1986423506 @default.
- W2250863723 cites W2033194278 @default.
- W2250863723 cites W2038721957 @default.
- W2250863723 cites W2045254372 @default.
- W2250863723 cites W2048953720 @default.
- W2250863723 cites W2066770300 @default.
- W2250863723 cites W2081809321 @default.
- W2250863723 cites W2105509151 @default.
- W2250863723 cites W2106612368 @default.
- W2250863723 cites W2112085250 @default.
- W2250863723 cites W2121129054 @default.
- W2250863723 cites W2155484602 @default.
- W2250863723 cites W2159636675 @default.
- W2250863723 cites W2165646510 @default.
- W2250863723 cites W2168579166 @default.
- W2250863723 cites W2168652246 @default.
- W2250863723 cites W2219598741 @default.
- W2250863723 cites W2228826686 @default.
- W2250863723 cites W2250307601 @default.
- W2250863723 cites W2250748818 @default.
- W2250863723 cites W2250790822 @default.
- W2250863723 cites W2251044566 @default.
- W2250863723 cites W2251502670 @default.
- W2250863723 cites W2251869843 @default.
- W2250863723 cites W2251919380 @default.
- W2250863723 cites W2279433781 @default.
- W2250863723 cites W2387525088 @default.
- W2250863723 cites W2570600600 @default.
- W2250863723 cites W2525127255 @default.
- W2250863723 doi "https://doi.org/10.18653/v1/d15-1296" @default.
- W2250863723 hasPublicationYear "2015" @default.
- W2250863723 type Work @default.
- W2250863723 sameAs 2250863723 @default.
- W2250863723 citedByCount "37" @default.
- W2250863723 countsByYear W22508637232016 @default.
- W2250863723 countsByYear W22508637232017 @default.
- W2250863723 countsByYear W22508637232018 @default.
- W2250863723 countsByYear W22508637232019 @default.
- W2250863723 countsByYear W22508637232020 @default.
- W2250863723 countsByYear W22508637232021 @default.
- W2250863723 countsByYear W22508637232023 @default.
- W2250863723 crossrefType "proceedings-article" @default.
- W2250863723 hasAuthorship W2250863723A5071765023 @default.
- W2250863723 hasBestOaLocation W22508637231 @default.
- W2250863723 hasConcept C108710211 @default.
- W2250863723 hasConcept C159718280 @default.
- W2250863723 hasConcept C166957645 @default.
- W2250863723 hasConcept C199343813 @default.
- W2250863723 hasConcept C199360897 @default.
- W2250863723 hasConcept C206880738 @default.
- W2250863723 hasConcept C2524010 @default.
- W2250863723 hasConcept C2776608160 @default.
- W2250863723 hasConcept C2777686260 @default.
- W2250863723 hasConcept C33923547 @default.
- W2250863723 hasConcept C41008148 @default.
- W2250863723 hasConcept C62073222 @default.
- W2250863723 hasConcept C71924100 @default.
- W2250863723 hasConcept C95457728 @default.
- W2250863723 hasConceptScore W2250863723C108710211 @default.
- W2250863723 hasConceptScore W2250863723C159718280 @default.
- W2250863723 hasConceptScore W2250863723C166957645 @default.
- W2250863723 hasConceptScore W2250863723C199343813 @default.
- W2250863723 hasConceptScore W2250863723C199360897 @default.
- W2250863723 hasConceptScore W2250863723C206880738 @default.
- W2250863723 hasConceptScore W2250863723C2524010 @default.
- W2250863723 hasConceptScore W2250863723C2776608160 @default.
- W2250863723 hasConceptScore W2250863723C2777686260 @default.
- W2250863723 hasConceptScore W2250863723C33923547 @default.
- W2250863723 hasConceptScore W2250863723C41008148 @default.
- W2250863723 hasConceptScore W2250863723C62073222 @default.
- W2250863723 hasConceptScore W2250863723C71924100 @default.
- W2250863723 hasConceptScore W2250863723C95457728 @default.
- W2250863723 hasLocation W22508637231 @default.
- W2250863723 hasLocation W22508637232 @default.
- W2250863723 hasLocation W22508637233 @default.
- W2250863723 hasLocation W22508637234 @default.
- W2250863723 hasLocation W22508637235 @default.
- W2250863723 hasOpenAccess W2250863723 @default.
- W2250863723 hasPrimaryLocation W22508637231 @default.
- W2250863723 hasRelatedWork W1509982649 @default.
- W2250863723 hasRelatedWork W1862708673 @default.
- W2250863723 hasRelatedWork W2018100734 @default.
- W2250863723 hasRelatedWork W2026352253 @default.
- W2250863723 hasRelatedWork W2137076681 @default.
- W2250863723 hasRelatedWork W2548598692 @default.
- W2250863723 hasRelatedWork W2600366389 @default.
- W2250863723 hasRelatedWork W2807588908 @default.