Uses of Package
net.sf.tweety.logics.pl

Packages that use net.sf.tweety.logics.pl

Package	Description
net.sf.tweety.agents.dialogues.oppmodels
net.sf.tweety.arg.deductive
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.dung
net.sf.tweety.beliefdynamics.selectiverevision.argumentative
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.util

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.agents.dialogues.oppmodels

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.arg.deductive

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.arg.deductive.semantics

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.arg.dung

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.beliefdynamics.selectiverevision.argumentative

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl

Class and Description
ClassicalInference This class implements the classical inference operator.
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl.parser

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.

Classes in net.sf.tweety.logics.pl used by net.sf.tweety.logics.pl.util

Class and Description
PlBeliefSet This class represents a knowledge base of propositional formulae.