Development of a supporting tool for translation between declarative sentences and logical formulas.
Shunsuke NanaumiKazunori WagatsumaYuichi GotoJingde ChengPublished in: ICMLC (2013)
Keyphrases
- logical formulas
- decision support
- natural language
- predicate logic
- first order logic
- partial order
- software engineering
- temporal logic
- horn theories
- machine translation system
- development process
- data manipulation language
- word alignment
- design tools
- information retrieval
- knowledge acquisition
- multi dimensional
- knowledge representation
- case study
- artificial intelligence