Uhura: an authoring tool for specifying answer-set programs using controlled natural language

DOI10.1007/978-3-030-19570-0_37MaRDI QIDQ2296746zbMATH OpenOpenAlexFDO

Authors Tobias Kain, Hans Tompits

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_37

zbMATH Keywords

answer-set programmingcontrolled natural languageprogram development

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Specifying and verbalising answer set programs in controlled natural language
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• Annotating answer-set programs in LANA
• Description semantics in utopist language and automatic program synthesis
• Synthesizing Imperative Code from Answer Set Programming Specifications
• Querying Formal Contexts with Answer Set Programs
• Modular answer set programming as a formal specification language

Cited in

(1)

• Uhura

Describes a project that uses

Uses Software

• Potassco
• Harvey
• DLV
• ASPIDE
• PENGASP
• SeaLion

This page was built for publication: Uhura: an authoring tool for specifying answer-set programs using controlled natural language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296746)