Augmenting an Answer Set Based Controlled Natural Language with Temporal Expressions

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...

Full description

Saved in:
Bibliographic Details
Published inPRICAI 2019: Trends in Artificial Intelligence Vol. 11670; pp. 500 - 513
Main Author Schwitter, Rolf
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2019
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Answer set programming
Controlled natural language
Event calculus
Online AccessGet full text
ISBN3030299074
9783030299071
ISSN0302-9743
1611-3349
DOI10.1007/978-3-030-29908-8_40

Cover