Package org.tweetyproject.arg.deductive.reasoner

package org.tweetyproject.arg.deductive.reasoner

Related Packages

Package	Description
org.tweetyproject.arg.deductive

Classes

Class	Description
AbstractDeductiveArgumentationReasoner	This class contains common characteristics for deductive argumentation reasoner.
CompilationReasoner	This class implements the approach of knowledge base compilation as proposed in Philippe Besnard and Anthony Hunter.
SimpleDeductiveReasoner	This class implements a brute force approach to deductive argumentation.