Uses of Package
org.tweetyproject.commons
-
-
Classes in org.tweetyproject.commons used by org.tweetyproject.action.description.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.action.description.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.action.grounding.parser Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.action.query.analysis Class Description BeliefBase This class captures an abstract knowledge base, i.e. -
Classes in org.tweetyproject.commons used by org.tweetyproject.action.query.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.action.query.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.action.signature Class Description Formula A formula is a basic language construct.QuadrupleSetSignature This class models a signature as four sets of formulas.Signature A signatures lists the atomic language structures for some language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.action.signature.parser Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.agents.dialogues Class 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 org.tweetyproject.commons used by org.tweetyproject.agents.dialogues.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.agents.dialogues.structured Class Description BeliefBase This class captures an abstract knowledge base, i.e.BeliefSet This class models a belief set, i.e. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aba.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.aba.reasoner Class Description Formula A formula is a basic language construct.InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.arg.aba.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.aba.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.aspic.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.aspic.reasoner Class Description InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).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 org.tweetyproject.commons used by org.tweetyproject.arg.aspic.semantics Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.aspic.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.bipolar.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.deductive.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.deductive.semantics Class Description BeliefBase This class captures an abstract knowledge base, i.e.BeliefSet This class models a belief set, i.e. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.deductive.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.delp.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.delp.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.delp.reasoner Class Description Reasoner The general interface for objects that are able to query a belief base with some formula. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.delp.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.dung.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.ldo.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.ldo.syntax Class Description Formula A formula is a basic language construct.Signature A signatures lists the atomic language structures for some language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.dung.reasoner Class Description InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.arg.dung.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.syntax Class 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.SingleSetSignature This class models a signature as a set of formulas. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.dung.util Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.lp.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.lp.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.prob.reasoner Class Description InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).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 org.tweetyproject.commons used by org.tweetyproject.arg.prob.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.rankings.reasoner Class Description ModelProvider Instances of this interface model reasoners that determine the (selected) models for a given set of formulas. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.rankings.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.saf.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.saf.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.saf.util Class 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 org.tweetyproject.commons used by org.tweetyproject.arg.social.reasoner Class Description ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.arg.social.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.arg.social.syntax Class Description BeliefBase This class captures an abstract knowledge base, i.e.BeliefSet This class models a belief set, i.e. -
Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.gui Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.kernels Class Description Formula A formula is a basic language construct.KernelProvider Classes implementing this interface are able to provide kernels (=minimal proofs). -
Classes in org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.mas Class 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 org.tweetyproject.commons used by org.tweetyproject.beliefdynamics.selectiverevision Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.commons Class 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.DualSetSignature This class models a signature as two sets of formulas.Formula A formula is a basic language construct.InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).Interpretation An interpretation for some logical language.InterpretationIterator An iterator over interpretations.ParserException This class models a general exception for parsing.QuadrupleSetSignature This class models a signature as four sets of formulas.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.SingleSetSignature This class models a signature as a set of formulas.TripleSetSignature This class models a signature as three sets of formulas.TweetyConfiguration.LogLevel The possible log levels. -
Classes in org.tweetyproject.commons used by org.tweetyproject.commons.analysis Class 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 org.tweetyproject.commons used by org.tweetyproject.commons.postulates Class 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 org.tweetyproject.commons used by org.tweetyproject.commons.streams Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.commons.util.rules Class Description Formula A formula is a basic language construct.Signature A signatures lists the atomic language structures for some language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.bpm.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.bpm.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.cl.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.reasoner Class Description ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.logics.cl.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.cl.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.commons.analysis Class 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.Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.analysis.streams Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.syntax Class Description Formula A formula is a basic language construct.Signature A signatures lists the atomic language structures for some language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.commons.syntax.interfaces Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.dl.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.dl.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.dl.syntax Class 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.TripleSetSignature This class models a signature as three sets of formulas. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.dl.test Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.fol.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.fol.syntax Class 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.QuadrupleSetSignature This class models a signature as four sets of formulas.Signature A signatures lists the atomic language structures for some language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.test Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.fol.writer Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.ml.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.ml.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.ml.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.ml.writer Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.mln.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.mln.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.mln.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pcl.analysis Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pcl.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pcl.reasoner Class Description ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.logics.pcl.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pcl.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pcl.util Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.analysis Class Description BeliefSet This class models a belief set, i.e. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.reasoner Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pl.sat Class Description BeliefSet This class models a belief set, i.e.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pl.syntax Class 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.SingleSetSignature This class models a signature as a set of formulas. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.test Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.pl.util Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.pl.writer Class Description Writer This class represents an abstract writer for writing objects into the file system. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.reasoner Class Description BeliefSet This class models a belief set, i.e.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 org.tweetyproject.commons used by org.tweetyproject.logics.qbf.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.qbf.syntax Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.qbf.test Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.reasoner Class Description ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.logics.rcl.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rcl.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.rdl.parser Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.rdl.reasoner Class Description InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.logics.rdl.semantics Class Description AbstractInterpretation An abstract interpretation for some logical language.Interpretation An interpretation for some logical language. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rdl.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.examples Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.parser Class Description Parser This class models an abstract parser for belief bases and formulas.ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser Class Description ParserException This class models a general exception for parsing. -
Classes in org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.reasoner Class Description ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.syntax Class 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 org.tweetyproject.commons used by org.tweetyproject.logics.rpcl.writers Class Description Writer This class represents an abstract writer for writing objects into the file system. -
Classes in org.tweetyproject.commons used by org.tweetyproject.lp.asp.beliefdynamics.baserevision Class Description Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.lp.asp.reasoner Class Description InferenceMode Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credoulous inference (assess a formula as true iff it is contained in some model).ModelProvider Instances of this interface model reasoners 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 org.tweetyproject.commons used by org.tweetyproject.lp.asp.semantics Class 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 org.tweetyproject.commons used by org.tweetyproject.lp.asp.syntax Class Description BeliefBase This class captures an abstract knowledge base, i.e.Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.lp.nlp.syntax Class Description BeliefBase This class captures an abstract knowledge base, i.e.Formula A formula is a basic language construct. -
Classes in org.tweetyproject.commons used by org.tweetyproject.math.examples Class Description ParserException This class models a general exception for parsing.