Sort by
Refine Your Search
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions