Controlled natural language can replace first-order logic
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Attempto Controlled English — Not Just Another Logic Specification LanguagePublished by Springer Nature ,1999
- A Deduction Method Complete for Refutation and Finite SatisfiabilityPublished by Springer Nature ,1998
- A Method for Controlling the Production of Specifications in Natural LanguageThe Computer Journal, 1995
- Logic Programming and DatabasesPublished by Springer Nature ,1990
- Schubert's Steamroller problem: Formulations and solutionsJournal of Automated Reasoning, 1986
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985