Uses of Package
org.tweetyproject.arg.deductive.syntax

Packages that use org.tweetyproject.arg.deductive.syntax

Package	Description
org.tweetyproject.arg.deductive.parser
org.tweetyproject.arg.deductive.reasoner
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.deductive.syntax
org.tweetyproject.arg.deductive.util

Classes in org.tweetyproject.arg.deductive.syntax used by org.tweetyproject.arg.deductive.parser

Class	Description
SimplePlLogicDeductiveKnowledgebase	According to http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf a simple logic knowledge base (propositional version only in this implementation) is a set of literals---in this implementation rules with empty body---and a set of simple rules, @see SimplePlRule
SimplePlRule	Represents a simple propositional logic rule.

Classes in org.tweetyproject.arg.deductive.syntax used by org.tweetyproject.arg.deductive.reasoner

Class	Description
DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.

Classes in org.tweetyproject.arg.deductive.syntax used by org.tweetyproject.arg.deductive.semantics

Class	Description
DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.

Classes in org.tweetyproject.arg.deductive.syntax used by org.tweetyproject.arg.deductive.syntax

Class	Description
SimplePlRule	Represents a simple propositional logic rule.

Classes in org.tweetyproject.arg.deductive.syntax used by org.tweetyproject.arg.deductive.util

Class	Description
DeductiveKnowledgeBase	Instances of this class represent deductive knowledge bases, i.e.