Package org.tweetyproject.arg.lp.reasoner

package org.tweetyproject.arg.lp.reasoner
  • Classes
    This class models a reasoner for extended logic programming based arguments using the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent and another notion of attack y as a defense for the proponent.
    This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p.