=Paper=
{{Paper
|id=Vol-1195/invited1
|storemode=property
|title=From Logic Programming to Argumentation and Back
|pdfUrl=https://ceur-ws.org/Vol-1195/invited1.pdf
|volume=Vol-1195
|dblpUrl=https://dblp.org/rec/conf/cilc/Toni14
}}
==From Logic Programming to Argumentation and Back==
<pdf width="1500px">https://ceur-ws.org/Vol-1195/invited1.pdf</pdf>
<pre>
From logic programming to argumentation and
                   back

                             Francesca Toni

                        Department of Computing
                         Imperial College London
                           ft@imperial.ac.uk



  Abstract. Argumentation has gained popularity in recent years as a
  knowledge representation formalism to support, in particular, non-mono-
  tonic and paraconsistent reasoning. I will trace back the origins of two
  well-known argumentation frameworks (namely abstact argumentation
  and assumption-based argumentation) to work on the semantics of logic
  programming and abductive logic programming in the late eighties and
  early nineties. I will then discuss recent work with Claudia Schulz on
  the use of (assumption-based) argumentation to provide justifications
  for (non-)membership of literals in answer sets, illustrating one way in
  which argumentation can benefit back logic programming.




                                 11

</pre>