Argumentation Understood as Program Synthesis (S).

Ashwag Maghraby Dave Robertson

Published in: SEKE (2013)

Keyphrases

program synthesis
argumentation systems
defeasible reasoning
recursive programs
inductive logic programming
legal reasoning
dispute resolution
search engine
decision trees
high level
argumentation semantics
abstract argumentation
argumentation skills