Translating between Language and Logic: What Is Easy and What Is Difficult

DOI10.1007/978-3-642-22438-6_3zbMATH Open1341.68291OpenAlexW88461931WikidataQ117287254 ScholiaQ117287254MaRDI QIDQ5200012FDOQ5200012

Aarne Ranta

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22438-6_3

zbMATH Keywords

natural language interfacegrammatical framework

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Natural language processing (68T50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Grammatical Framework
• Generalized quantifiers and natural language
• Types for Proofs and Programs
• The lambda calculus, its syntax and semantics
• On multiple context-free grammars
• The language of mathematics. A linguistic and philosophical investigation
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Classes of Recursively Enumerable Sets and Their Decision Problems
• FUNCTIONAL PEARL Functional chart parsing of context-free grammars
• Computerizing mathematical text with MathLang
• A pattern for almost compositional functions
• Logical Aspects of Computational Linguistics

Cited In (1)

• Simple translation-invariant concepts are hard to learn

Uses Software

• Mathematica
• Theorema
• Haskell
• Isar
• Mizar
• Automath
• GF
• ALF
• GF
• FraCaS
• Naproche

This page was built for publication: Translating between Language and Logic: What Is Easy and What Is Difficult

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