Argument-based Logic Programming

Abstract

In this chapter we describe several formalisms for integrating Logic Programming and Argumentation. Research on the relation between logic programming and argumentation has been and still is fruitful in both directions: Some argumentation formalisms were used to define semantics for logic programming and also logic programming was used for providing an underlying representational language for non-abstract argumentation formalisms.