Logical Aspects of Computational Linguistics

DOI10.1007/B136076MaRDI QIDQ5706945zbMATH OpenOpenAlexFDO

Authors Kristofer Johannisson, David A. Burke

Publication date 23 November 2005

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

Full work available at URL https://doi.org/10.1007/b136076

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Natural language processing (68T50)

Recommendations

• A derivation strategy for formal specifications from natural language requirements models
• Formalized program specifications and transformation synthesis
• scientific article; zbMATH DE number 3481860
• Formal models of multilingual software
• scientific article; zbMATH DE number 3872706
• scientific article; zbMATH DE number 46424

Cited in

(8)

• Automated generation of program translation and verification tools using annotated grammars
• scientific article; zbMATH DE number 1708121 (Why is no real title available?)
• Grammars as software libraries
• scientific article; zbMATH DE number 1949620 (Why is no real title available?)
• scientific article; zbMATH DE number 2087523 (Why is no real title available?)
• Automated translation of contract texts into defeasible deontic logic
• Translating between language and logic: what is easy and what is difficult
• Machine Translation and Type Theory

Describes a project that uses

Uses Software

• GF
• KeY

This page was built for publication: Logical Aspects of Computational Linguistics

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