Package org.tweetyproject.arg.deductive.syntax

package org.tweetyproject.arg.deductive.syntax

Related Packages

Package	Description
org.tweetyproject.arg.deductive

Classes

Class	Description
DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.
SimplePlLogicArgument
SimplePlLogicDeductiveKnowledgebase
SimplePlRule	Basic data structure for handling simple rule