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	Represents a simple propositional logic argument in deductive argumentation.
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.