@inproceedings{33cb84b1942d46ea9056477b4ba7aa47,
title = "Working for two: A bidirectional grammar for a controlled natural language",
abstract = "This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the following interesting properties: (a) it translates declarative sentences written in PENG Light into a first-order logic notation (TPTP); (b) it generates declarative sentences in PENG Light taking syntactically annotated TPTP formulas as input; and (c) it translates questions written in PENG Light into (conjunctive) queries in TPTP notation and uses the TPTP representation of the query as a starting point for generating answers in PENG Light. Moreover, the controlled natural language processor can be interfaced directly with an automated reasoner in order to resolve anaphoric references and to answer questions stated in PENG Light.",
author = "Rolf Schwitter",
year = "2008",
doi = "10.1007/978-3-540-89378-3_17",
language = "English",
isbn = "3540893776",
volume = "5360 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "168--179",
editor = "Wayne Wobcke and Mengije Zhang",
booktitle = "AI 2008: Advances in Artificial Intelligence - 21st Australasian Joint Conference on Artificial Intelligence, Proceedings",
address = "United States",
note = "21st Australasian Joint Conference on Artificial Intelligence, AI 2008 ; Conference date: 01-12-2008 Through 05-12-2008",
}