conftrace_

controlled natural language

3 papers

Explore in graph

Also known as

CNL

Co-occurring keywords · papers mentioning both

natural language specification (1) formal syntax (1) natural language programming (1) programming language specification (1) grammar generation (1) answer set programming (1) sanskrit language (1) formal methods (1) program synthesis (1) code generation (1)

Papers

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms IJCAI 2025 Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024 Formal Sanskrit Syntax: A Specification for Programming Language AACL 2020