@inproceedings{ae84e9f797894d56ba7e5d65d6c3ec60,
title = "Augmenting an answer set based controlled natural language with temporal expressions",
abstract = "In this paper we discuss how we can augment an existing controlled natural language in a systematic way with temporal expressions in order to write high-level temporal specifications which require reasoning about action and change. We show that domain-dependent axioms which are necessary to specify time-varying properties, deal with the commonsense law of inertia, and with continuous change can be expressed directly and in a transparent way on the level of the controlled natural language. The resulting temporal specification including the corresponding axioms and the required terminological knowledge can be translated automatically into an executable answer set program and then be used by a linguistically motivated version of the Event Calculus, implemented as an answer set program, for temporal reasoning and question answering.",
keywords = "Answer set programming, Controlled natural language, Event calculus",
author = "Rolf Schwitter",
year = "2019",
doi = "10.1007/978-3-030-29908-8_40",
language = "English",
isbn = "9783030299071",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-VDI-Verlag GmbH & Co. KG",
pages = "500--513",
editor = "Nayak, {Abhaya C.} and Alok Sharma",
booktitle = "PRICAI 2019",
address = "Germany",
note = "16th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2019 ; Conference date: 26-08-2019 Through 30-08-2019",
}