Order-Based Inference in Natural Logic

DOI10.1093/JIGPAL/11.4.385zbMATH Open1076.03529OpenAlexW2061384940MaRDI QIDQ4454091FDOQ4454091

Authors Yaroslav Fyodorov, Yoad Winter, Nissim Francez

Publication date 7 March 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/0b8c1ee8483f4fa691ee0fdb1f7051d702dd0ad8

zbMATH Keywords

categorial grammarderivation treesdecision procedure for provabilitynatural language syntactic representationsnon-monotonic expressions

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• Natural language syntax and first-order inference
• A `natural logic' inference system using the Lambek calculus
• scientific article; zbMATH DE number 5896737
• A logic for natural language
• Natural Logic for Natural Language

Cited in

(16)

• scientific article; zbMATH DE number 67962 (Why is no real title available?)
• Natural Logic for Natural Language
• Natural language syntax and first-order inference
• Knowledge-based textual inference via parse-tree transformations
• Natural logic and natural language inference
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Natural language inference in Coq
• Natural language inference based on adversarial regularization
• Monotonic inference with unscoped episodic logical forms: from principles to system
• Ordering-based representations of rational inference
• Inclusion and exclusion in natural language
• The soundness of internalized polarity marking
• Equivalences among polarity algorithms
• Ordered hypothesis machines
• A `natural logic' inference system using the Lambek calculus
• A monotonicity calculus and its completeness

This page was built for publication: Order-Based Inference in Natural Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4454091)