-
for representing and reasoning about arguments, and axiomatically-grounded methods of argument evaluation. Natural language argumentation is a young research area at the crossroads of natural language processing
-
), and A. Wautier (RECOVER). It will be located at the UMR RECOVER in Aix-en-Provence. Floods caused by breaches of river dikes are among the major natural hazards, whose intensity and frequency increase
-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
-
approaches that build processes by mutation operators [1], natural language processing techniques with recurrent short-term memory (LSTM) neural networks [2], and variational autoencoders (VAE