Towards Generating Effective Explanations of Logical Formulas: Challenges and Strategies

Autor:	Alexandra Mayn, Kees van Deemter
Rok vydání:	2020
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Natural Language Generation First Order Predicate Logic
DOI:	10.5281/zenodo.5906858
Popis:	A description of the challenges involved ingenerating explanations of logical formulas, and some initial thoughts about how they may be resolved.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3c9c54f9ad87f94ff2eb309fa8acbd6 Zobrazit plný text záznamu