Natural language syntax and first-order inference

DOI10.1016/0004-3702(92)90063-4zbMath0761.68084OpenAlexW1994772831MaRDI QIDQ1193491

David Allen McAllester, Robert L. Givan

Publication date: 27 September 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(92)90063-4

zbMATH Keywords

completenesssatisfiabilityMontague semanticsknowledge representation languageconcept languagesframe description languagesMontagovian syntaxpolynomial time procedure for automated inferencesyntax for first-order logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence (68T99)

Related Items (7)

A KNOWLEDGE REPRESENTATION LANGUAGE FOR NATURAL LANGUAGE PROCESSING, SIMULATION AND REASONING ⋮ The Hamiltonian syllogistic ⋮ A system of relational syllogistic incorporating full Boolean reasoning ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ LOGICS FOR THE RELATIONAL SYLLOGISTIC ⋮ Tarskian set constraints ⋮ EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Computational complexity of terminological reasoning in BACK
• An introduction to the PL/CV2 programming logic
• A unification algorithm for typed \(\overline\lambda\)-calculus
• The Mathematics of Sentence Structure
• Simplification by Cooperating Decision Procedures
• Variations on the Common Subexpression Problem
• Universal grammar

This page was built for publication: Natural language syntax and first-order inference