Pages that link to "Item:Q4559823"
From MaRDI portal
The following pages link to Specifying and Verbalising Answer Set Programs in Controlled Natural Language (Q4559823):
Displaying 4 items.
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language (Q2296746) (← links)
- Representing the language of the causal calculator in answer set programming (Q2909140) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)