Uses of Class
org.tweetyproject.commons.util.rules.RuleSet

Packages that use RuleSet

Package	Description
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.commons.util.rules
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax

Uses of RuleSet in org.tweetyproject.arg.aspic.syntax

Subclasses of RuleSet in org.tweetyproject.arg.aspic.syntax

Modifier and Type	Class	Description
class	AspicArgumentationTheory<T extends Invertable>	According to Modgil and Prakken, this represents an argumentation theory (AS, KB) with - AS argumentation system (e.g.

Uses of RuleSet in org.tweetyproject.commons.util.rules

Methods in org.tweetyproject.commons.util.rules that return RuleSet

Modifier and Type	Method	Description
RuleSet<T>	RuleSet.getSyntacticModule(Formula f)	Returns the maximal subset of this rule set that is closed under "syntactic" neighbourhood relationship for the given formula.

Uses of RuleSet in org.tweetyproject.lp.asp.syntax

Subclasses of RuleSet in org.tweetyproject.lp.asp.syntax

Modifier and Type	Class	Description
class	Program	This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.

Uses of RuleSet in org.tweetyproject.lp.nlp.syntax

Subclasses of RuleSet in org.tweetyproject.lp.nlp.syntax

Modifier and Type	Class	Description
class	NLPProgram	Represents a nested logic program (NLP) in the form of a set of rules.