Uses of Package
net.sf.tweety.commons

Packages that use net.sf.tweety.commons

Package	Description
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.reasoner
net.sf.tweety.action.description.syntax
net.sf.tweety.action.grounding.parser
net.sf.tweety.action.query.analysis
net.sf.tweety.action.query.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.action.signature.parser
net.sf.tweety.agents.dialogues
net.sf.tweety.agents.dialogues.examples
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.aba.examples
net.sf.tweety.arg.aba.parser
net.sf.tweety.arg.aba.reasoner
net.sf.tweety.arg.aba.semantics
net.sf.tweety.arg.aba.syntax
net.sf.tweety.arg.aspic.examples
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.semantics
net.sf.tweety.arg.aspic.syntax
net.sf.tweety.arg.deductive.examples
net.sf.tweety.arg.deductive.parser
net.sf.tweety.arg.deductive.reasoner
net.sf.tweety.arg.deductive.semantics
net.sf.tweety.arg.deductive.syntax
net.sf.tweety.arg.delp.examples
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.reasoner
net.sf.tweety.arg.delp.semantics
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.dung.syntax
net.sf.tweety.arg.dung.util
net.sf.tweety.arg.lp.reasoner
net.sf.tweety.arg.lp.syntax
net.sf.tweety.arg.prob.reasoner
net.sf.tweety.arg.prob.syntax
net.sf.tweety.arg.saf.reasoner
net.sf.tweety.arg.saf.syntax
net.sf.tweety.arg.saf.util
net.sf.tweety.arg.social.reasoner
net.sf.tweety.arg.social.semantics
net.sf.tweety.arg.social.syntax
net.sf.tweety.beliefdynamics
net.sf.tweety.beliefdynamics.examples
net.sf.tweety.beliefdynamics.gui
net.sf.tweety.beliefdynamics.kernels
net.sf.tweety.beliefdynamics.mas
net.sf.tweety.beliefdynamics.selectiverevision
net.sf.tweety.cli
net.sf.tweety.commons
net.sf.tweety.commons.analysis
net.sf.tweety.commons.postulates
net.sf.tweety.commons.streams
net.sf.tweety.commons.util.rules
net.sf.tweety.logics.cl.parser
net.sf.tweety.logics.cl.reasoner
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.analysis.streams
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.examples
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.reasoner
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.fol.test
net.sf.tweety.logics.ml
net.sf.tweety.logics.ml.examples
net.sf.tweety.logics.ml.parser
net.sf.tweety.logics.ml.reasoner
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.ml.writer
net.sf.tweety.logics.mln.examples
net.sf.tweety.logics.mln.reasoner
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pcl.examples
net.sf.tweety.logics.pcl.parser
net.sf.tweety.logics.pcl.reasoner
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.pcl.test
net.sf.tweety.logics.pcl.util
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.examples
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.reasoner
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.test
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.pl.writer
net.sf.tweety.logics.rcl.examples
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rcl.reasoner
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.parser
net.sf.tweety.logics.rdl.reasoner
net.sf.tweety.logics.rdl.semantics
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.examples
net.sf.tweety.logics.rpcl.parser
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.rpcl.plugin
net.sf.tweety.logics.rpcl.reasoner
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.logics.rpcl.writers
net.sf.tweety.lp.asp.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.gui
net.sf.tweety.lp.asp.semantics
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax
net.sf.tweety.web.services

Classes in net.sf.tweety.commons used by net.sf.tweety.action.description.parser

Class and Description
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.description.reasoner

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.description.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.grounding.parser

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.query.analysis

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.query.parser

Class and Description
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.query.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.signature

Class and Description
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.action.signature.parser

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.agents.dialogues

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.agents.dialogues.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.agents.dialogues.structured

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.parser

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.reasoner

Class and Description
Formula A formula is a basic language construct.
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aba.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.parser

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.reasoner

Class and Description
Formula A formula is a basic language construct.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.semantics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.aspic.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.parser

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.reasoner

Class and Description
QuantitativeReasoner The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.semantics

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.deductive.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.parser

Class and Description
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.reasoner

Class and Description
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.semantics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.delp.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.ldo.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.ldo.syntax

Class and Description
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.parser

Class and Description
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
SetSignature This class models a signature as a set of formulas.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.dung.util

Class and Description
BeliefSetIterator Classes implementing this interface are able to enumerate belief sets.
Parser This class models an abstract parser for belief bases and formulas.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.lp.reasoner

Class and Description
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.lp.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.prob.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QuantitativeReasoner The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.prob.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.saf.reasoner

Class and Description
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.saf.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.saf.util

Class and Description
BeliefSetIterator Classes implementing this interface are able to enumerate belief sets.
BeliefSetSampler This abstract class models a random sampler for belief sets.
FormulaSampler This abstract class models a sampler for formulas.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.social.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QuantitativeReasoner The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.social.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.arg.social.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.gui

Class and Description
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.kernels

Class and Description
Formula A formula is a basic language construct.
KernelProvider Classes implementing this interface are able to provide kernels (=minimal proofs).

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.mas

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.beliefdynamics.selectiverevision

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.cli

Class and Description
Writer This class represents an abstract writer for writing objects into the file system.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
BeliefSetIterator Classes implementing this interface are able to enumerate belief sets.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.
InterpretationIterator An iterator over interpretations.
ParserException This class models a general exception for parsing.
Reasoner The general interface for objects that are able to query a belief base with some formula.
Signature A signatures lists the atomic language structures for some language.
TweetyConfiguration.LogLevel The possible log levels.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.analysis

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.postulates

Class and Description
BeliefSet This class models a belief set, i.e.
BeliefSetIterator Classes implementing this interface are able to enumerate belief sets.
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.streams

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.commons.util.rules

Class and Description
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl.parser

Class and Description
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.cl.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.analysis

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.
InterpretationIterator An iterator over interpretations.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.analysis.streams

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.syntax

Class and Description
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.commons.syntax.interfaces

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.dl.syntax

Class and Description
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.parser

Class and Description
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.reasoner

Class and Description
Formula A formula is a basic language construct.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.
InterpretationSet This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.fol.test

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.parser

Class and Description
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.reasoner

Class and Description
Formula A formula is a basic language construct.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.
InterpretationSet This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.ml.writer

Class and Description
ParserException This class models a general exception for parsing.
Writer This class represents an abstract writer for writing objects into the file system.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.mln.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.mln.reasoner

Class and Description
QuantitativeReasoner The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.mln.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.analysis

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefBaseMachineShop Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.parser

Class and Description
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QuantitativeReasoner The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.test

Class and Description
BeliefSet This class models a belief set, i.e.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.pcl.util

Class and Description
ParserException This class models a general exception for parsing.

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

Class and Description
BeliefSet This class models a belief set, i.e.

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

Class and Description
ParserException This class models a general exception for parsing.

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

Class and Description
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

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

Class and Description
KernelProvider Classes implementing this interface are able to provide kernels (=minimal proofs).
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

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

Class and Description
BeliefSet This class models a belief set, i.e.
Interpretation An interpretation for some logical language.

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

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Formula A formula is a basic language construct.
Interpretation An interpretation for some logical language.
InterpretationIterator An iterator over interpretations.
InterpretationSet This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
Signature A signatures lists the atomic language structures for some language.

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

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
SetSignature This class models a signature as a set of formulas.
Signature A signatures lists the atomic language structures for some language.

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

Class and Description
ParserException This class models a general exception for parsing.

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

Class and Description
BeliefSetIterator Classes implementing this interface are able to enumerate belief sets.
BeliefSetSampler This abstract class models a random sampler for belief sets.
Signature A signatures lists the atomic language structures for some language.

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

Class and Description
Writer This class represents an abstract writer for writing objects into the file system.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.parser

Class and Description
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rcl.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rdl.parser

Class and Description
Formula A formula is a basic language construct.
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rdl.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QualitativeReasoner The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rdl.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rdl.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.examples

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.parser

Class and Description
Parser This class models an abstract parser for belief bases and formulas.
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Class and Description
ParserException This class models a general exception for parsing.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.plugin

Class and Description
Writer This class represents an abstract writer for writing objects into the file system.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.reasoner

Class and Description
ModelProvider Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
QuantitativeReasoner The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
Reasoner The general interface for objects that are able to query a belief base with some formula.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.semantics

Class and Description
AbstractInterpretation An abstract interpretation for some logical language.
Interpretation An interpretation for some logical language.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.logics.rpcl.writers

Class and Description
Writer This class represents an abstract writer for writing objects into the file system.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.beliefdynamics.gui

Class and Description
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.semantics

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
BeliefSet This class models a belief set, i.e.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.asp.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.
Signature A signatures lists the atomic language structures for some language.

Classes in net.sf.tweety.commons used by net.sf.tweety.lp.nlp.syntax

Class and Description
BeliefBase This class captures an abstract knowledge base, i.e.
Formula A formula is a basic language construct.

Classes in net.sf.tweety.commons used by net.sf.tweety.web.services

Class and Description
BeliefSet This class models a belief set, i.e.