-
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
-
for monitoring territorial and development changes. Baltic cities are transforming at scales and rates that challenge conventional methods of spatial analysis. Today, urban areas are no longer just the setting
Enter an email to receive alerts for formal-method "https:" positions