Hierarchy For All Packages

Package Hierarchies:

• org.tweetyproject.action.description.analysis,
• org.tweetyproject.action.description.parser,
• org.tweetyproject.action.description.reasoner,
• org.tweetyproject.action.description.syntax,
• org.tweetyproject.action.grounding,
• org.tweetyproject.action.grounding.parser,
• org.tweetyproject.action.query.analysis,
• org.tweetyproject.action.query.parser,
• org.tweetyproject.action.query.syntax,
• org.tweetyproject.action.signature,
• org.tweetyproject.action.signature.parser,
• org.tweetyproject.action.transitionsystem,
• org.tweetyproject.agents,
• org.tweetyproject.agents.dialogues,
• org.tweetyproject.agents.dialogues.examples,
• org.tweetyproject.agents.dialogues.lotteries,
• org.tweetyproject.agents.dialogues.lotteries.sim,
• org.tweetyproject.agents.dialogues.oppmodels,
• org.tweetyproject.agents.dialogues.oppmodels.sim,
• org.tweetyproject.agents.dialogues.structured,
• org.tweetyproject.agents.sim,
• org.tweetyproject.arg.aba,
• org.tweetyproject.arg.aba.examples,
• org.tweetyproject.arg.aba.parser,
• org.tweetyproject.arg.aba.reasoner,
• org.tweetyproject.arg.aba.semantics,
• org.tweetyproject.arg.aba.syntax,
• org.tweetyproject.arg.adf.cli,
• org.tweetyproject.arg.adf.examples,
• org.tweetyproject.arg.adf.io,
• org.tweetyproject.arg.adf.parser.test,
• org.tweetyproject.arg.adf.reasoner,
• org.tweetyproject.arg.adf.reasoner.heuristics,
• org.tweetyproject.arg.adf.reasoner.query,
• org.tweetyproject.arg.adf.reasoner.sat.decomposer,
• org.tweetyproject.arg.adf.reasoner.sat.encodings,
• org.tweetyproject.arg.adf.reasoner.sat.execution,
• org.tweetyproject.arg.adf.reasoner.sat.generator,
• org.tweetyproject.arg.adf.reasoner.sat.processor,
• org.tweetyproject.arg.adf.reasoner.sat.query,
• org.tweetyproject.arg.adf.reasoner.sat.verifier,
• org.tweetyproject.arg.adf.sat,
• org.tweetyproject.arg.adf.sat.solver,
• org.tweetyproject.arg.adf.sat.state,
• org.tweetyproject.arg.adf.semantics.interpretation,
• org.tweetyproject.arg.adf.semantics.link,
• org.tweetyproject.arg.adf.semantics.test,
• org.tweetyproject.arg.adf.syntax,
• org.tweetyproject.arg.adf.syntax.acc,
• org.tweetyproject.arg.adf.syntax.adf,
• org.tweetyproject.arg.adf.syntax.pl,
• org.tweetyproject.arg.adf.syntax.test,
• org.tweetyproject.arg.adf.transform,
• org.tweetyproject.arg.adf.transform.processor,
• org.tweetyproject.arg.adf.util,
• org.tweetyproject.arg.adf.util.test,
• org.tweetyproject.arg.aspic,
• org.tweetyproject.arg.aspic.examples,
• org.tweetyproject.arg.aspic.order,
• org.tweetyproject.arg.aspic.parser,
• org.tweetyproject.arg.aspic.reasoner,
• org.tweetyproject.arg.aspic.ruleformulagenerator,
• org.tweetyproject.arg.aspic.semantics,
• org.tweetyproject.arg.aspic.syntax,
• org.tweetyproject.arg.aspic.util,
• org.tweetyproject.arg.aspic.writer,
• org.tweetyproject.arg.bipolar.examples,
• org.tweetyproject.arg.bipolar.reasoner,
• org.tweetyproject.arg.bipolar.semantics,
• org.tweetyproject.arg.bipolar.syntax,
• org.tweetyproject.arg.caf.examples,
• org.tweetyproject.arg.caf.reasoner,
• org.tweetyproject.arg.caf.semantics,
• org.tweetyproject.arg.caf.syntax,
• org.tweetyproject.arg.caf.util,
• org.tweetyproject.arg.caf.writer,
• org.tweetyproject.arg.deductive,
• org.tweetyproject.arg.deductive.accumulator,
• org.tweetyproject.arg.deductive.categorizer,
• org.tweetyproject.arg.deductive.examples,
• org.tweetyproject.arg.deductive.parser,
• org.tweetyproject.arg.deductive.reasoner,
• org.tweetyproject.arg.deductive.semantics,
• org.tweetyproject.arg.deductive.semantics.attacks,
• org.tweetyproject.arg.deductive.syntax,
• org.tweetyproject.arg.deductive.util,
• org.tweetyproject.arg.delp,
• org.tweetyproject.arg.delp.examples,
• org.tweetyproject.arg.delp.parser,
• org.tweetyproject.arg.delp.reasoner,
• org.tweetyproject.arg.delp.semantics,
• org.tweetyproject.arg.delp.syntax,
• org.tweetyproject.arg.dung,
• org.tweetyproject.arg.dung.analysis,
• org.tweetyproject.arg.dung.divisions,
• org.tweetyproject.arg.dung.equivalence,
• org.tweetyproject.arg.dung.equivalence.kernel,
• org.tweetyproject.arg.dung.examples,
• org.tweetyproject.arg.dung.independence,
• org.tweetyproject.arg.dung.ldo.semantics,
• org.tweetyproject.arg.dung.ldo.syntax,
• org.tweetyproject.arg.dung.learning,
• org.tweetyproject.arg.dung.learning.syntax,
• org.tweetyproject.arg.dung.learning.util,
• org.tweetyproject.arg.dung.parser,
• org.tweetyproject.arg.dung.principles,
• org.tweetyproject.arg.dung.reasoner,
• org.tweetyproject.arg.dung.semantics,
• org.tweetyproject.arg.dung.serialisability.semantics,
• org.tweetyproject.arg.dung.serialisability.sequence,
• org.tweetyproject.arg.dung.serialisability.syntax,
• org.tweetyproject.arg.dung.serialisability.util,
• org.tweetyproject.arg.dung.syntax,
• org.tweetyproject.arg.dung.util,
• org.tweetyproject.arg.dung.writer,
• org.tweetyproject.arg.eaf.examples,
• org.tweetyproject.arg.eaf.reasoner,
• org.tweetyproject.arg.eaf.semantics,
• org.tweetyproject.arg.eaf.syntax,
• org.tweetyproject.arg.eaf.util,
• org.tweetyproject.arg.eaf.writer,
• org.tweetyproject.arg.explanations.examples,
• org.tweetyproject.arg.explanations.principles,
• org.tweetyproject.arg.explanations.reasoner.acceptance,
• org.tweetyproject.arg.explanations.semantics,
• org.tweetyproject.arg.extended.examples,
• org.tweetyproject.arg.extended.reasoner,
• org.tweetyproject.arg.extended.syntax,
• org.tweetyproject.arg.lp.reasoner,
• org.tweetyproject.arg.lp.semantics,
• org.tweetyproject.arg.lp.semantics.attack,
• org.tweetyproject.arg.lp.syntax,
• org.tweetyproject.arg.prob,
• org.tweetyproject.arg.prob.analysis,
• org.tweetyproject.arg.prob.dynamics,
• org.tweetyproject.arg.prob.examples,
• org.tweetyproject.arg.prob.lotteries,
• org.tweetyproject.arg.prob.reasoner,
• org.tweetyproject.arg.prob.semantics,
• org.tweetyproject.arg.prob.syntax,
• org.tweetyproject.arg.rankings,
• org.tweetyproject.arg.rankings.examples,
• org.tweetyproject.arg.rankings.postulates,
• org.tweetyproject.arg.rankings.reasoner,
• org.tweetyproject.arg.rankings.semantics,
• org.tweetyproject.arg.rankings.util,
• org.tweetyproject.arg.saf.reasoner,
• org.tweetyproject.arg.saf.syntax,
• org.tweetyproject.arg.saf.util,
• org.tweetyproject.arg.setaf.examples,
• org.tweetyproject.arg.setaf.reasoners,
• org.tweetyproject.arg.setaf.syntax,
• org.tweetyproject.arg.social.examples,
• org.tweetyproject.arg.social.reasoner,
• org.tweetyproject.arg.social.semantics,
• org.tweetyproject.arg.social.syntax,
• org.tweetyproject.arg.weighted.examples,
• org.tweetyproject.arg.weighted.reasoner,
• org.tweetyproject.arg.weighted.syntax,
• org.tweetyproject.arg.weighted.util,
• org.tweetyproject.arg.weighted.writer,
• org.tweetyproject.argumentation.parameterisedhierarchy,
• org.tweetyproject.beliefdynamics,
• org.tweetyproject.beliefdynamics.examples,
• org.tweetyproject.beliefdynamics.gui,
• org.tweetyproject.beliefdynamics.kernels,
• org.tweetyproject.beliefdynamics.mas,
• org.tweetyproject.beliefdynamics.operators,
• org.tweetyproject.beliefdynamics.selectiverevision,
• org.tweetyproject.beliefdynamics.selectiverevision.argumentative,
• org.tweetyproject.causal.examples,
• org.tweetyproject.causal.parser,
• org.tweetyproject.causal.reasoner,
• org.tweetyproject.causal.semantics,
• org.tweetyproject.causal.syntax,
• org.tweetyproject.causal.writer,
• org.tweetyproject.cli,
• org.tweetyproject.cli.plugins,
• org.tweetyproject.commons,
• org.tweetyproject.commons.analysis,
• org.tweetyproject.commons.examples,
• org.tweetyproject.commons.postulates,
• org.tweetyproject.commons.streams,
• org.tweetyproject.commons.util,
• org.tweetyproject.commons.util.rules,
• org.tweetyproject.comparator,
• org.tweetyproject.graphs,
• org.tweetyproject.graphs.examples,
• org.tweetyproject.graphs.util,
• org.tweetyproject.logics.bpm.analysis,
• org.tweetyproject.logics.bpm.examples,
• org.tweetyproject.logics.bpm.parser.bpmn_to_petri,
• org.tweetyproject.logics.bpm.parser.xml_to_bpmn,
• org.tweetyproject.logics.bpm.plotting,
• org.tweetyproject.logics.bpm.syntax,
• org.tweetyproject.logics.cl.examples,
• org.tweetyproject.logics.cl.kappa,
• org.tweetyproject.logics.cl.parser,
• org.tweetyproject.logics.cl.reasoner,
• org.tweetyproject.logics.cl.rules,
• org.tweetyproject.logics.cl.semantics,
• org.tweetyproject.logics.cl.syntax,
• org.tweetyproject.logics.cl.test,
• org.tweetyproject.logics.commons,
• org.tweetyproject.logics.commons.analysis,
• org.tweetyproject.logics.commons.analysis.streams,
• org.tweetyproject.logics.commons.error,
• org.tweetyproject.logics.commons.syntax,
• org.tweetyproject.logics.commons.syntax.interfaces,
• org.tweetyproject.logics.commons.test,
• org.tweetyproject.logics.dl.examples,
• org.tweetyproject.logics.dl.parser,
• org.tweetyproject.logics.dl.reasoner,
• org.tweetyproject.logics.dl.semantics,
• org.tweetyproject.logics.dl.syntax,
• org.tweetyproject.logics.dl.test,
• org.tweetyproject.logics.fol.examples,
• org.tweetyproject.logics.fol.parser,
• org.tweetyproject.logics.fol.plugin,
• org.tweetyproject.logics.fol.reasoner,
• org.tweetyproject.logics.fol.semantics,
• org.tweetyproject.logics.fol.syntax,
• org.tweetyproject.logics.fol.test,
• org.tweetyproject.logics.fol.writer,
• org.tweetyproject.logics.ml,
• org.tweetyproject.logics.ml.examples,
• org.tweetyproject.logics.ml.parser,
• org.tweetyproject.logics.ml.reasoner,
• org.tweetyproject.logics.ml.semantics,
• org.tweetyproject.logics.ml.syntax,
• org.tweetyproject.logics.ml.writer,
• org.tweetyproject.logics.mln.analysis,
• org.tweetyproject.logics.mln.examples,
• org.tweetyproject.logics.mln.reasoner,
• org.tweetyproject.logics.mln.syntax,
• org.tweetyproject.logics.pcl.analysis,
• org.tweetyproject.logics.pcl.examples,
• org.tweetyproject.logics.pcl.parser,
• org.tweetyproject.logics.pcl.reasoner,
• org.tweetyproject.logics.pcl.semantics,
• org.tweetyproject.logics.pcl.syntax,
• org.tweetyproject.logics.pcl.test,
• org.tweetyproject.logics.pcl.util,
• org.tweetyproject.logics.petri.plotting,
• org.tweetyproject.logics.petri.syntax,
• org.tweetyproject.logics.petri.syntax.reachability_graph,
• org.tweetyproject.logics.pl.analysis,
• org.tweetyproject.logics.pl.error,
• org.tweetyproject.logics.pl.examples,
• org.tweetyproject.logics.pl.parser,
• org.tweetyproject.logics.pl.plugin,
• org.tweetyproject.logics.pl.postulates,
• org.tweetyproject.logics.pl.reasoner,
• org.tweetyproject.logics.pl.sat,
• org.tweetyproject.logics.pl.semantics,
• org.tweetyproject.logics.pl.syntax,
• org.tweetyproject.logics.pl.test,
• org.tweetyproject.logics.pl.util,
• org.tweetyproject.logics.pl.writer,
• org.tweetyproject.logics.qbf.examples,
• org.tweetyproject.logics.qbf.parser,
• org.tweetyproject.logics.qbf.reasoner,
• org.tweetyproject.logics.qbf.semantics,
• org.tweetyproject.logics.qbf.syntax,
• org.tweetyproject.logics.qbf.test,
• org.tweetyproject.logics.qbf.writer,
• org.tweetyproject.logics.rcl.examples,
• org.tweetyproject.logics.rcl.parser,
• org.tweetyproject.logics.rcl.reasoner,
• org.tweetyproject.logics.rcl.semantics,
• org.tweetyproject.logics.rcl.syntax,
• org.tweetyproject.logics.rdl.examples,
• org.tweetyproject.logics.rdl.parser,
• org.tweetyproject.logics.rdl.reasoner,
• org.tweetyproject.logics.rdl.semantics,
• org.tweetyproject.logics.rdl.syntax,
• org.tweetyproject.logics.rdl.test,
• org.tweetyproject.logics.rpcl.examples,
• org.tweetyproject.logics.rpcl.parser,
• org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser,
• org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser,
• org.tweetyproject.logics.rpcl.plugin,
• org.tweetyproject.logics.rpcl.reasoner,
• org.tweetyproject.logics.rpcl.semantics,
• org.tweetyproject.logics.rpcl.syntax,
• org.tweetyproject.logics.rpcl.writers,
• org.tweetyproject.logics.translators,
• org.tweetyproject.logics.translators.adfcl,
• org.tweetyproject.logics.translators.adfconditional,
• org.tweetyproject.logics.translators.adfpossibilistic,
• org.tweetyproject.logics.translators.adfrevision,
• org.tweetyproject.logics.translators.aspfol,
• org.tweetyproject.logics.translators.aspnlp,
• org.tweetyproject.logics.translators.clnlp,
• org.tweetyproject.logics.translators.folprop,
• org.tweetyproject.lp.asp.analysis,
• org.tweetyproject.lp.asp.beliefdynamics,
• org.tweetyproject.lp.asp.beliefdynamics.baserevision,
• org.tweetyproject.lp.asp.beliefdynamics.gui,
• org.tweetyproject.lp.asp.beliefdynamics.revision,
• org.tweetyproject.lp.asp.beliefdynamics.selectiverevision,
• org.tweetyproject.lp.asp.examples,
• org.tweetyproject.lp.asp.grounder,
• org.tweetyproject.lp.asp.parser,
• org.tweetyproject.lp.asp.reasoner,
• org.tweetyproject.lp.asp.semantics,
• org.tweetyproject.lp.asp.syntax,
• org.tweetyproject.lp.asp.writer,
• org.tweetyproject.lp.nlp.error,
• org.tweetyproject.lp.nlp.syntax,
• org.tweetyproject.machinelearning,
• org.tweetyproject.machinelearning.assoc,
• org.tweetyproject.machinelearning.examples,
• org.tweetyproject.machinelearning.rl.mdp,
• org.tweetyproject.machinelearning.rl.mdp.algorithms,
• org.tweetyproject.machinelearning.svm,
• org.tweetyproject.machinelearning.test,
• org.tweetyproject.math,
• org.tweetyproject.math.algebra,
• org.tweetyproject.math.equation,
• org.tweetyproject.math.examples,
• org.tweetyproject.math.func,
• org.tweetyproject.math.func.fuzzy,
• org.tweetyproject.math.matrix,
• org.tweetyproject.math.norm,
• org.tweetyproject.math.opt,
• org.tweetyproject.math.opt.problem,
• org.tweetyproject.math.opt.rootFinder,
• org.tweetyproject.math.opt.solver,
• org.tweetyproject.math.probability,
• org.tweetyproject.math.term,
• org.tweetyproject.math.test,
• org.tweetyproject.math.util,
• org.tweetyproject.plugin,
• org.tweetyproject.plugin.parameter,
• org.tweetyproject.preferences,
• org.tweetyproject.preferences.aggregation,
• org.tweetyproject.preferences.events,
• org.tweetyproject.preferences.io,
• org.tweetyproject.preferences.plugin,
• org.tweetyproject.preferences.ranking,
• org.tweetyproject.preferences.test,
• org.tweetyproject.preferences.update,
• org.tweetyproject.sat,
• org.tweetyproject.sat.lingeling,
• org.tweetyproject.sat.minisat,
• org.tweetyproject.sat.picosat,
• org.tweetyproject.sat.test,
• org.tweetyproject.web,
• org.tweetyproject.web.services,
• org.tweetyproject.web.services.aba,
• org.tweetyproject.web.services.adf,
• org.tweetyproject.web.services.bipolar,
• org.tweetyproject.web.services.causal,
• org.tweetyproject.web.services.delp,
• org.tweetyproject.web.services.dung,
• org.tweetyproject.web.services.iaf,
• org.tweetyproject.web.services.incmes,
• org.tweetyproject.web.services.paf,
• org.tweetyproject.web.services.rankings,
• org.tweetyproject.web.services.sequenceexplanation,
• org.tweetyproject.web.util

Class Hierarchy

• java.lang.Object
  • org.tweetyproject.arg.aba.syntax.AbaElement<T> (implements org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula)
    • org.tweetyproject.arg.aba.syntax.AbaRule<T> (implements org.tweetyproject.commons.util.rules.Rule<C,P>)
      • org.tweetyproject.arg.aba.syntax.Assumption<T>
      • org.tweetyproject.arg.aba.syntax.InferenceRule<T>
    • org.tweetyproject.arg.aba.syntax.Negation<T>
  • org.tweetyproject.arg.aba.examples.AbaExample
  • org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory
  • org.tweetyproject.web.services.aba.AbaReasonerPost
  • org.tweetyproject.arg.aba.AbaTest
  • org.tweetyproject.arg.aba.syntax.AbaTheory<T> (implements org.tweetyproject.commons.BeliefBase)
  • org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractAcceptanceExplanationReasoner
    • org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractSequenceExplanationReasoner
      • org.tweetyproject.arg.explanations.reasoner.acceptance.DialecticalSequenceExplanationReasoner
      • org.tweetyproject.arg.explanations.reasoner.acceptance.MinimalSequenceExplanationReasoner
      • org.tweetyproject.arg.explanations.reasoner.acceptance.SequenceExplanationReasoner
    • org.tweetyproject.arg.explanations.reasoner.acceptance.NecessaryExplanationReasoner
    • org.tweetyproject.arg.explanations.reasoner.acceptance.SufficientExplanationReasoner
  • org.tweetyproject.arg.adf.reasoner.AbstractADFReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
      • org.tweetyproject.arg.adf.reasoner.AdmissibleReasoner
      • org.tweetyproject.arg.adf.reasoner.CompleteReasoner
      • org.tweetyproject.arg.adf.reasoner.ConflictFreeReasoner
      • org.tweetyproject.arg.adf.reasoner.GroundReasoner
      • org.tweetyproject.arg.adf.reasoner.ModelReasoner
      • org.tweetyproject.arg.adf.reasoner.NaiveReasoner
      • org.tweetyproject.arg.adf.reasoner.PreferredReasoner
      • org.tweetyproject.arg.adf.reasoner.StableReasoner
  • org.tweetyproject.web.services.adf.AbstractAdfReasonerFactory
  • org.tweetyproject.beliefdynamics.examples.AbstractArgumentationExample
  • AbstractArgumentationExampleTest
  • org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner<T> (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner<T>
    • org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner<T>
    • org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner<T>
    • org.tweetyproject.arg.aspic.reasoner.SimpleAspicReasoner<T>
  • org.tweetyproject.machinelearning.assoc.AbstractAssociationRuleMiner<T> (implements org.tweetyproject.machinelearning.assoc.AssociationRuleMiner<T>)
    • org.tweetyproject.machinelearning.assoc.AprioriMiner<T>
  • org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester<T> (implements org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester<T>)
    • org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester
  • org.tweetyproject.arg.bipolar.reasoner.AbstractBipolarExtensionReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.bipolar.reasoner.SimpleCoalitionReasoner
    • org.tweetyproject.arg.bipolar.reasoner.SimpleCoherentAdmissibleReasoner
    • org.tweetyproject.arg.bipolar.reasoner.SimpleCoherentReasoner
    • org.tweetyproject.arg.bipolar.reasoner.SimpleDeductiveReasoner
    • org.tweetyproject.arg.bipolar.reasoner.SimpleNecessityReasoner
    • org.tweetyproject.arg.bipolar.reasoner.SimpleStronglyConflictFreeReasoner
  • org.tweetyproject.web.services.bipolar.AbstractBipolarExtensionReasonerFactory
  • org.tweetyproject.web.services.bipolar.AbstractBipolarFrameworkFactory
  • org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.caf.reasoner.SimpleCAFAdmissibleReasoner
    • org.tweetyproject.arg.caf.reasoner.SimpleCAFGroundedReasoner
    • org.tweetyproject.arg.caf.reasoner.SimpleCAFPreferredReasoner
    • org.tweetyproject.arg.caf.reasoner.SimpleCAFStableReasoner
    • org.tweetyproject.arg.caf.reasoner.SimpleCAFWeakGroundedReasoner
  • org.tweetyproject.arg.caf.writer.AbstractCafWriter
    • org.tweetyproject.arg.caf.writer.CafApxWriter
    • org.tweetyproject.arg.caf.writer.CafCnfWriter
    • org.tweetyproject.arg.caf.writer.CafTgfWriter
  • org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator (implements org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator)
    • org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
    • org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator
    • org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator
  • org.tweetyproject.causal.reasoner.AbstractCausalReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.causal.reasoner.AbstractArgumentationBasedCausalReasoner
      • org.tweetyproject.causal.reasoner.ArgumentationBasedCausalReasoner
      • org.tweetyproject.causal.reasoner.ArgumentationBasedCounterfactualReasoner
  • org.tweetyproject.causal.reasoner.AbstractCausalReasonerTestBase<Reasoner>
    • org.tweetyproject.causal.reasoner.ArgumentationBasedCausalReasonerTest
  • org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser
    • org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner
    • org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
  • org.tweetyproject.logics.mln.analysis.AbstractCoherenceMeasure (implements java.io.Serializable)
    • org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.AbstractSequentialList<E>
        • java.util.LinkedList<E> (implements java.lang.Cloneable, java.util.Deque<E>, java.util.List<E>, java.io.Serializable)
          • org.tweetyproject.arg.lp.syntax.Argument (implements org.tweetyproject.commons.Formula)
          • org.tweetyproject.agents.dialogues.DialogueTrace<S,T>
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • org.tweetyproject.commons.util.rules.Derivation<T>
        • org.tweetyproject.machinelearning.ParameterSet
      • java.util.Vector<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • org.tweetyproject.machinelearning.DefaultObservation (implements org.tweetyproject.machinelearning.Observation)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
        • org.tweetyproject.agents.dialogues.ExecutableFormulaSet (implements org.tweetyproject.agents.Executable)
        • org.tweetyproject.math.opt.problem.GeneralConstraintSatisfactionProblem
          • org.tweetyproject.math.opt.problem.CombinatoricsProblem
            • org.tweetyproject.math.examples.KnapSack
            • org.tweetyproject.math.examples.TravelingSalesman
          • org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
            • org.tweetyproject.math.opt.problem.OptimizationProblem
        • org.tweetyproject.lp.asp.beliefdynamics.baserevision.RemainderSets<T>
          • org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
        • org.tweetyproject.commons.util.rules.RuleSet<T>
          • org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory<T> (implements org.tweetyproject.commons.BeliefBase)
          • org.tweetyproject.lp.nlp.syntax.NLPProgram (implements org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram<C,P,T>)
          • org.tweetyproject.lp.asp.syntax.Program (implements org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram<C,P,T>)
        • org.tweetyproject.machinelearning.TrainingSet<S,T>
      • org.tweetyproject.arg.adf.util.InterpretationTrieSet
    • org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection<E>
      • org.tweetyproject.arg.adf.util.MinusSetView<E> (implements java.util.Set<E>)
      • org.tweetyproject.arg.adf.util.UnionCollectionView<E>
      • org.tweetyproject.arg.adf.util.UnionSetView<E> (implements java.util.Set<E>)
  • org.tweetyproject.arg.adf.transform.AbstractCollector<U,D,R> (implements org.tweetyproject.arg.adf.transform.Collector<U,D>, org.tweetyproject.arg.adf.transform.Transformer<R>)
  • org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.logics.cl.reasoner.CReasoner
    • org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner
    • org.tweetyproject.logics.cl.reasoner.SimpleCReasoner
    • org.tweetyproject.logics.cl.reasoner.ZReasoner
  • org.tweetyproject.beliefdynamics.mas.AbstractCredibilityComparer
    • org.tweetyproject.beliefdynamics.mas.CredibilityCategorizer (implements org.tweetyproject.arg.deductive.categorizer.Categorizer)
  • org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
    • org.tweetyproject.logics.pcl.analysis.PenalizingCreepingMachineShop
    • org.tweetyproject.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
    • org.tweetyproject.logics.pcl.analysis.UnbiasedCreepingMachineShop
  • org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner (implements org.tweetyproject.commons.QuantitativeReasoner<B,F>)
    • org.tweetyproject.arg.deductive.reasoner.CompilationReasoner
    • org.tweetyproject.arg.deductive.reasoner.SimpleDeductiveReasoner
  • org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.SeeAcceptabilityReasoner
      • org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner
    • org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>)
      • org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
        • org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner
        • org.tweetyproject.arg.dung.reasoner.SatStableReasoner
      • org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
      • org.tweetyproject.arg.dung.reasoner.ProboReasoner
      • org.tweetyproject.arg.dung.reasoner.QualifiedReasoner
      • org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner
      • org.tweetyproject.arg.dung.reasoner.SCF2Reasoner
      • org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
      • org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner
      • org.tweetyproject.arg.dung.reasoner.SerialisedExtensionReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleCompleteReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleConflictFreeReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleEagerReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleGroundedReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleIdealReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner
      • org.tweetyproject.arg.dung.reasoner.SimplePreferredReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleSccCompleteReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleSccRecursiveReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleSemiStableReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleStableReasoner
      • org.tweetyproject.arg.dung.reasoner.SimpleStageReasoner
      • org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.Stage2Reasoner
      • org.tweetyproject.arg.dung.reasoner.StronglyAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner
        • org.tweetyproject.arg.dung.reasoner.StronglyUndisputedReasoner
        • org.tweetyproject.arg.dung.reasoner.UndisputedReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyGroundedReasoner
      • org.tweetyproject.arg.dung.reasoner.WeaklyPreferredReasoner
    • org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>)
  • org.tweetyproject.arg.dung.writer.AbstractDungWriter
    • org.tweetyproject.arg.dung.writer.ApxWriter
    • org.tweetyproject.arg.dung.writer.CnfWriter
    • org.tweetyproject.arg.dung.writer.Iccma23Writer
    • org.tweetyproject.arg.dung.writer.TgfWriter
    • org.tweetyproject.arg.dung.writer.TikzWriter
  • org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.eaf.reasoner.SimpleEAFAdmissibleReasoner
    • org.tweetyproject.arg.eaf.reasoner.SimpleEAFCompleteReasoner
    • org.tweetyproject.arg.eaf.reasoner.SimpleEAFGroundedReasoner
    • org.tweetyproject.arg.eaf.reasoner.SimpleEAFPreferredReasoner
    • org.tweetyproject.arg.eaf.reasoner.SimpleEAFStableReasoner
  • org.tweetyproject.arg.eaf.writer.AbstractEafWriter
    • org.tweetyproject.arg.eaf.writer.EafApxWriter
    • org.tweetyproject.arg.eaf.writer.EafCnfWriter
    • org.tweetyproject.arg.eaf.writer.EafTgfWriter
  • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.AbstractElementParser<T>
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.EndEventParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.ExclusiveGatewayParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.InclusiveGatewayParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.IntermediateEventParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.LaneParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.LaneSetParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.MessageFlowParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.ProcessParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.SequenceFlowParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.StartEventParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.TaskParser
  • org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.extended.reasoner.FlattenBasedExtendedExtensionReasoner
    • org.tweetyproject.arg.extended.reasoner.SimpleExtendedAdmissibleReasoner
    • org.tweetyproject.arg.extended.reasoner.SimpleExtendedCompleteReasoner
    • org.tweetyproject.arg.extended.reasoner.SimpleExtendedConflictFreeReasoner
  • org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory
  • org.tweetyproject.commons.AbstractInterpretation<B,S> (implements org.tweetyproject.commons.Interpretation<B,S>)
    • org.tweetyproject.arg.aba.semantics.AbaExtension<T> (implements java.util.Collection<E>)
    • org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<T>
      • org.tweetyproject.arg.explanations.semantics.Explanation (implements java.lang.Comparable<T>)
        • org.tweetyproject.arg.explanations.semantics.DialectialSequenceExplanation
        • org.tweetyproject.arg.explanations.semantics.SequenceExplanation (implements java.util.List<E>)
        • org.tweetyproject.arg.explanations.semantics.SetExplanation (implements java.util.Collection<E>)
      • org.tweetyproject.arg.dung.semantics.Extension<T> (implements java.util.Collection<E>, java.lang.Comparable<T>, org.tweetyproject.graphs.Node)
        • org.tweetyproject.agents.dialogues.ExecutableExtension (implements org.tweetyproject.agents.Executable)
      • org.tweetyproject.arg.dung.semantics.Labeling (implements java.util.Map<K,V>)
        • org.tweetyproject.arg.dung.learning.syntax.Input
      • org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence (implements java.lang.Comparable<T>, java.util.List<E>)
    • org.tweetyproject.arg.dung.semantics.ClaimSet (implements java.util.Collection<E>, java.lang.Comparable<T>)
    • org.tweetyproject.logics.rdl.semantics.Extension (implements java.util.Collection<E>)
    • org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
    • org.tweetyproject.logics.pl.semantics.FuzzyInterpretation (implements java.util.Map<K,V>)
    • org.tweetyproject.comparator.GeneralComparator<T,R> (implements java.util.Comparator<T>)
      • org.tweetyproject.arg.aspic.order.LastLinkOrder<T>
      • org.tweetyproject.comparator.LatticePartialOrder<T,R>
      • org.tweetyproject.comparator.NumericalPartialOrder<T,R> (implements java.util.Map<K,V>)
      • org.tweetyproject.arg.aspic.order.RuleComparator<T>
      • org.tweetyproject.arg.aspic.order.SimpleAspicOrder<T>
      • org.tweetyproject.arg.aspic.order.WeakestLinkOrder<T>
    • org.tweetyproject.commons.InterpretationSet<T,B,S> (implements java.util.Collection<E>)
      • org.tweetyproject.lp.asp.semantics.AnswerSet
      • org.tweetyproject.causal.semantics.CausalInterpretation
      • org.tweetyproject.logics.dl.semantics.DlInterpretation
      • org.tweetyproject.logics.fol.semantics.HerbrandInterpretation
      • org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation
      • org.tweetyproject.logics.pl.semantics.NicePossibleWorld (implements java.util.Comparator<T>)
      • org.tweetyproject.logics.pl.semantics.PossibleWorld (implements java.lang.Comparable<T>)
      • org.tweetyproject.logics.qbf.semantics.QbPossibleWorld (implements java.lang.Comparable<T>)
    • org.tweetyproject.logics.ml.semantics.KripkeModel
    • org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
    • org.tweetyproject.logics.pl.semantics.PriestWorld
    • org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
    • org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution<T> (implements java.util.Map<K,V>)
    • org.tweetyproject.logics.cl.semantics.RankingFunction
    • org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
    • org.tweetyproject.logics.rpcl.semantics.ReferenceWorld (implements java.util.Map<K,V>)
    • org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction
    • org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution<T> (implements java.util.Map<K,V>)
      • org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
    • org.tweetyproject.arg.social.semantics.SocialMapping<L>
    • org.tweetyproject.arg.dung.semantics.StratifiedLabeling (implements java.util.Map<K,V>)
    • org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • org.tweetyproject.preferences.ranking.Functions<T>
        • org.tweetyproject.preferences.ranking.LevelingFunction<T>
        • org.tweetyproject.preferences.ranking.RankingFunction<T>
      • org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
      • org.tweetyproject.arg.prob.lotteries.LdoUtilityFunction
      • org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment (implements org.tweetyproject.commons.BeliefBase)
      • org.tweetyproject.agents.dialogues.oppmodels.RecognitionFunction
      • org.tweetyproject.arg.prob.lotteries.UtilityFunction
  • org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner (implements org.tweetyproject.commons.QuantitativeReasoner<B,F>)
    • org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner
    • org.tweetyproject.logics.mln.reasoner.ApproximateNaiveMlnReasoner
    • org.tweetyproject.logics.mln.reasoner.IteratingMlnReasoner
    • org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner
    • org.tweetyproject.logics.mln.reasoner.SimpleSamplingMlnReasoner
  • org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner
    • org.tweetyproject.logics.ml.reasoner.SimpleMlReasoner
    • org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner
  • org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator<S> (implements org.tweetyproject.logics.commons.analysis.MusEnumerator<S>)
    • org.tweetyproject.logics.commons.analysis.NaiveMusEnumerator<S>
    • org.tweetyproject.logics.pl.sat.PlMusEnumerator
      • org.tweetyproject.logics.pl.sat.MarcoMusEnumerator
      • org.tweetyproject.logics.pl.sat.MimusMusEnumerator
  • org.tweetyproject.arg.prob.dynamics.AbstractPAChangeOperator (implements org.tweetyproject.arg.prob.dynamics.ChangeOperator)
    • org.tweetyproject.arg.prob.dynamics.PARevisionOperator
    • org.tweetyproject.arg.prob.dynamics.PAUpdateOperator
  • org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner (implements org.tweetyproject.commons.QuantitativeReasoner<B,F>)
    • org.tweetyproject.arg.prob.reasoner.MonteCarloPafReasoner
    • org.tweetyproject.arg.prob.reasoner.SimplePafReasoner
  • org.tweetyproject.web.services.paf.AbstractPafReasonerFactory
  • org.tweetyproject.arg.prob.semantics.AbstractPASemantics (implements org.tweetyproject.arg.prob.semantics.PASemantics)
    • org.tweetyproject.arg.prob.semantics.CoherentPASemantics
    • org.tweetyproject.arg.prob.semantics.FoundedPASemantics
    • org.tweetyproject.arg.prob.semantics.InvolutaryPASemantics
    • org.tweetyproject.arg.prob.semantics.JustifiablePASemantics
    • org.tweetyproject.arg.prob.semantics.NeutralPASemantics
    • org.tweetyproject.arg.prob.semantics.OptimisticPASemantics
    • org.tweetyproject.arg.prob.semantics.RationalPASemantics
    • org.tweetyproject.arg.prob.semantics.SemiFoundedPASemantics
    • org.tweetyproject.arg.prob.semantics.SemiOptimisticPASemantics
  • org.tweetyproject.logics.pcl.reasoner.AbstractPclReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QuantitativeReasoner<B,F>)
    • org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner
    • org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
  • org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner (implements org.tweetyproject.commons.KernelProvider<T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.logics.qbf.reasoner.NaiveQbfReasoner
    • org.tweetyproject.logics.pl.reasoner.SatReasoner
    • org.tweetyproject.logics.pl.reasoner.SimplePlReasoner
  • org.tweetyproject.agents.AbstractProtocol (implements org.tweetyproject.agents.Protocol)
    • org.tweetyproject.agents.RigidProtocol
      • org.tweetyproject.agents.RoundRobinProtocol
        • org.tweetyproject.agents.dialogues.oppmodels.GroundedGameProtocol (implements org.tweetyproject.agents.sim.GameProtocol)
      • org.tweetyproject.agents.SynchronousProtocol
        • org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol (implements org.tweetyproject.agents.sim.GameProtocol)
  • org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<R> (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>)
    • org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner
    • org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
    • org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
    • org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner
  • org.tweetyproject.web.services.rankings.AbstractRankingReasonerFactory
  • org.tweetyproject.math.norm.AbstractRealVectorNorm (implements org.tweetyproject.math.norm.RealVectorNorm)
    • org.tweetyproject.math.norm.ManhattanNorm
    • org.tweetyproject.math.norm.MaximumNorm
    • org.tweetyproject.math.norm.PNorm
  • org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner
    • org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedAdmissibleReasoner
    • org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedCompleteReasoner
    • org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedConflictFreeReasoner
  • org.tweetyproject.logics.rpcl.semantics.AbstractRpclSemantics (implements org.tweetyproject.logics.rpcl.semantics.RpclSemantics)
    • org.tweetyproject.logics.rpcl.semantics.AggregatingSemantics
    • org.tweetyproject.logics.rpcl.semantics.AveragingSemantics
  • org.tweetyproject.arg.setaf.reasoners.AbstractSetAfReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>)
      • org.tweetyproject.arg.setaf.reasoners.SimpleAdmissibleSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleCompleteSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleConflictFreeSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleEagerSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleGroundedSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleIdealSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimplePreferredSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleSemiStableSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleStableSetAfReasoner
      • org.tweetyproject.arg.setaf.reasoners.SimpleStageSetAfReasoner
  • org.tweetyproject.arg.social.semantics.AbstractSocialSemantics<L> (implements java.util.Comparator<T>)
    • org.tweetyproject.arg.social.semantics.SimpleProductSemantics
  • org.tweetyproject.arg.adf.transform.AbstractTransformer<U,D,R> (implements org.tweetyproject.arg.adf.transform.Transformer<R>)
  • org.tweetyproject.plugin.AbstractTweetyPlugin (implements org.tweetyproject.plugin.TweetyPlugin)
    • org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin
    • org.tweetyproject.logics.pl.plugin.PlPlugin
    • org.tweetyproject.preferences.plugin.PreferencesPlugin
    • org.tweetyproject.logics.rpcl.plugin.RPCLPlugin
  • org.tweetyproject.arg.dung.examples.AcceptabilityReasonerExample
  • org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
  • org.tweetyproject.arg.adf.reasoner.heuristics.AcceptanceConditionSizeComparator (implements java.util.Comparator<T>)
  • org.tweetyproject.arg.adf.syntax.test.AccEqualityTest
  • org.tweetyproject.logics.ml.semantics.AccessibilityRelation
  • org.tweetyproject.agents.ActionEvent
  • org.tweetyproject.action.signature.parser.ActionSignatureParser
  • org.tweetyproject.arg.adf.examples.ADFExample
  • org.tweetyproject.web.services.adf.AdfReasonerCalleeFactory
  • org.tweetyproject.web.services.adf.AdfReasonerPost
  • org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer (implements org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor)
  • org.tweetyproject.arg.dung.examples.AFLearnerExample
  • org.tweetyproject.agents.Agent
    • org.tweetyproject.agents.dialogues.lotteries.AbstractLotteryAgent
      • org.tweetyproject.agents.dialogues.lotteries.DummyLotteryAgent
      • org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
      • org.tweetyproject.agents.dialogues.lotteries.RandomLotteryAgent
      • org.tweetyproject.agents.dialogues.lotteries.UtilityBasedLotteryAgent
    • org.tweetyproject.agents.dialogues.oppmodels.ArguingAgent
    • org.tweetyproject.agents.DummyAgent
    • org.tweetyproject.agents.dialogues.structured.SasAgent
      • org.tweetyproject.agents.dialogues.structured.OvercautiousArgumentationAgent
        • org.tweetyproject.agents.dialogues.structured.CautiousArgumentationAgent
      • org.tweetyproject.agents.dialogues.structured.TruthfulArgumentationAgent
  • org.tweetyproject.lp.asp.examples.AggregateExample
  • org.tweetyproject.math.norm.AggregatingNorm (implements org.tweetyproject.math.norm.RealVectorNorm, java.io.Serializable)
  • org.tweetyproject.graphs.util.AigGraphPlotter<G,N>
    • org.tweetyproject.arg.dung.serialisability.util.AigSerialisationPlotter
  • org.tweetyproject.graphs.util.AigNode (implements java.lang.Comparable<T>, org.tweetyproject.graphs.Node)
  • org.tweetyproject.logics.mln.examples.AlchemyExample
  • org.tweetyproject.logics.pcl.examples.AnalysisExample
  • org.tweetyproject.math.examples.ApacheCommonsCMAESOptimizerEx
  • org.tweetyproject.math.test.ApacheCommonsCMAESOptimizerTest
  • org.tweetyproject.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx
  • org.tweetyproject.math.examples.ApacheCommonsSimplexEx
  • org.tweetyproject.math.examples.ApacheCommonsSimplexEx2
  • org.tweetyproject.logics.mln.examples.ApproximationExample
  • org.tweetyproject.machinelearning.assoc.AprioriTest
  • org.tweetyproject.arg.dung.parser.ApxFilenameFilter (implements java.io.FilenameFilter)
  • org.tweetyproject.arg.dung.syntax.Argument (implements java.lang.Comparable<T>, org.tweetyproject.arg.dung.syntax.DungEntity, org.tweetyproject.graphs.Node)
    • org.tweetyproject.arg.adf.syntax.Argument (implements org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition, org.tweetyproject.graphs.Node)
    • org.tweetyproject.arg.saf.syntax.ArgumentStructure (implements java.util.Collection<E>)
    • org.tweetyproject.arg.aspic.syntax.AspicArgument<T>
    • org.tweetyproject.arg.saf.syntax.BasicArgument (implements org.tweetyproject.commons.util.rules.Rule<C,P>)
    • org.tweetyproject.causal.syntax.CausalArgument
    • org.tweetyproject.arg.dung.syntax.ClaimArgument
    • org.tweetyproject.arg.bipolar.syntax.CoalitionArgument
    • org.tweetyproject.arg.aba.syntax.Deduction<T>
    • org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
  • org.tweetyproject.agents.dialogues.ArgumentationEnvironment (implements org.tweetyproject.agents.Environment, org.tweetyproject.agents.Perceivable)
  • org.tweetyproject.web.services.causal.ArgumentationFrameworkReply
  • org.tweetyproject.arg.prob.lotteries.ArgumentationLottery
  • org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.lp.reasoner.LiteralReasoner
  • org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
  • org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
  • org.tweetyproject.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction (implements org.tweetyproject.beliefdynamics.selectiverevision.MultipleTransformationFunction<T>)
  • org.tweetyproject.web.services.sequenceexplanation.ArgumentFilterSerialization
  • org.tweetyproject.web.util.ArgumentSerialization
  • org.tweetyproject.lp.asp.syntax.ASPElement (implements org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula)
    • org.tweetyproject.lp.asp.syntax.AggregateElement
    • org.tweetyproject.lp.asp.syntax.ASPBodyElement
      • org.tweetyproject.lp.asp.syntax.AggregateAtom
      • org.tweetyproject.lp.asp.syntax.ASPLiteral (implements org.tweetyproject.logics.commons.syntax.interfaces.Atom, java.lang.Comparable<T>, org.tweetyproject.logics.commons.syntax.interfaces.Invertable)
        • org.tweetyproject.lp.asp.syntax.ASPAtom
        • org.tweetyproject.lp.asp.syntax.StrictNegation
      • org.tweetyproject.lp.asp.syntax.ComparativeAtom
      • org.tweetyproject.lp.asp.syntax.DefaultNegation
      • org.tweetyproject.lp.asp.syntax.OptimizationStatement
    • org.tweetyproject.lp.asp.syntax.ASPHead
      • org.tweetyproject.lp.asp.syntax.AggregateHead
      • org.tweetyproject.lp.asp.syntax.ChoiceHead
      • org.tweetyproject.lp.asp.syntax.ClassicalHead (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable)
    • org.tweetyproject.lp.asp.syntax.ASPRule (implements java.lang.Comparable<T>, org.tweetyproject.commons.util.rules.Rule<C,P>)
    • org.tweetyproject.lp.asp.syntax.ChoiceElement
    • org.tweetyproject.lp.asp.syntax.OptimizationElement
  • org.tweetyproject.lp.asp.examples.ASPExample
  • org.tweetyproject.logics.translators.aspfol.ASPFOLTranslatorTest
  • org.tweetyproject.lp.asp.grounder.ASPGrounder
    • org.tweetyproject.lp.asp.grounder.GringoGrounder
  • org.tweetyproject.arg.aspic.examples.AspicExample
  • org.tweetyproject.arg.aspic.examples.AspicExample2
  • org.tweetyproject.arg.aspic.examples.AspicExampleFol
  • org.tweetyproject.arg.aspic.examples.AspicGeneratorExample
  • org.tweetyproject.arg.aspic.examples.AspicGeneratorExample2
  • org.tweetyproject.arg.aspic.examples.AspicGeneratorExample3
  • org.tweetyproject.arg.aspic.AspicTest
  • org.tweetyproject.arg.aspic.writer.AspicWriter<T>
  • org.tweetyproject.lp.asp.parser.AspifParser
  • org.tweetyproject.lp.asp.parser.AspifParserTest
  • org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest
  • org.tweetyproject.logics.translators.aspnlp.ASPNLPTranslatorTest
  • org.tweetyproject.lp.asp.syntax.ASPOperator
  • org.tweetyproject.lp.asp.parser.ASPParser (implements org.tweetyproject.lp.asp.parser.ASPParserConstants, org.tweetyproject.lp.asp.parser.ASPParserTreeConstants)
  • org.tweetyproject.lp.asp.examples.ASPParserExample
  • org.tweetyproject.lp.asp.parser.ASPParserTest
  • org.tweetyproject.lp.asp.parser.ASPParserTokenManager (implements org.tweetyproject.lp.asp.parser.ASPParserConstants)
  • org.tweetyproject.lp.asp.reasoner.ASPSolver (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.lp.asp.reasoner.ClingoSolver
    • org.tweetyproject.lp.asp.reasoner.DLVSolver
  • junit.framework.Assert
    • junit.framework.TestCase (implements junit.framework.Test)
      • org.tweetyproject.lp.asp.syntax.DefaultificationTest
  • org.tweetyproject.machinelearning.assoc.AssociationRule<T>
  • org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState (implements org.tweetyproject.arg.adf.sat.SatSolverState)
  • org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl
  • org.tweetyproject.arg.lp.semantics.attack.Attack (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.web.services.sequenceexplanation.AttackDTO
  • org.tweetyproject.arg.lp.semantics.AttackRelation
  • org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest
  • org.tweetyproject.math.func.AverageAggregator (implements org.tweetyproject.math.func.AggregationFunction)
  • org.tweetyproject.logics.pcl.analysis.BalancedMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.commons.BeliefSet<T,S> (implements org.tweetyproject.commons.BeliefBase, java.util.Collection<E>)
    • org.tweetyproject.action.description.syntax.ActionDescription<T>
      • org.tweetyproject.action.description.syntax.CActionDescription
    • org.tweetyproject.action.query.syntax.ActionQuerySet<T>
      • org.tweetyproject.action.query.syntax.SActionQuerySet
    • org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase
    • org.tweetyproject.logics.cl.syntax.ClBeliefSet
    • org.tweetyproject.beliefdynamics.mas.CrMasBeliefSet<T,S>
    • org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram
    • org.tweetyproject.logics.dl.syntax.DlBeliefSet
    • org.tweetyproject.arg.dung.syntax.DungTheory (implements org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>, java.lang.Comparable<T>, org.tweetyproject.graphs.Graph<T>)
      • org.tweetyproject.arg.bipolar.syntax.BipolarArgumentationFramework
      • org.tweetyproject.arg.dung.syntax.ClaimBasedTheory
      • org.tweetyproject.arg.caf.syntax.ConstrainedArgumentationFramework
      • org.tweetyproject.arg.eaf.syntax.EpistemicArgumentationFramework
      • org.tweetyproject.agents.dialogues.ExecutableDungTheory (implements org.tweetyproject.agents.Executable)
      • org.tweetyproject.arg.dung.syntax.IncompleteTheory
      • org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
      • org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
      • org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework
        • org.tweetyproject.agents.dialogues.structured.PerceivableStructuredArgumentationFramework (implements org.tweetyproject.agents.Perceivable)
      • org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework<T>
      • org.tweetyproject.arg.dung.syntax.WeightedDungTheory
    • org.tweetyproject.arg.extended.syntax.ExtendedTheory (implements org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>, java.util.Collection<E>)
    • org.tweetyproject.logics.fol.syntax.FolBeliefSet
    • org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork (implements java.io.Serializable)
    • org.tweetyproject.logics.ml.syntax.MlBeliefSet
    • org.tweetyproject.logics.pcl.syntax.PclBeliefSet
    • org.tweetyproject.logics.pl.syntax.PlBeliefSet
      • org.tweetyproject.causal.syntax.CausalKnowledgeBase
      • org.tweetyproject.arg.deductive.semantics.CompilationNode (implements org.tweetyproject.graphs.Node)
      • org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase
    • org.tweetyproject.logics.rcl.syntax.RclBeliefSet
    • org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory (implements org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>, java.util.Collection<E>)
    • org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
    • org.tweetyproject.arg.setaf.syntax.SetAf (implements org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>, java.lang.Comparable<T>, org.tweetyproject.graphs.DirHyperGraph<T>)
    • org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
  • org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S> (implements org.tweetyproject.logics.commons.analysis.InconsistencyMeasure<T>, org.tweetyproject.commons.postulates.PostulateEvaluatable<S>)
    • org.tweetyproject.logics.commons.analysis.CcInconsistencyMeasure<S>
    • org.tweetyproject.logics.pl.analysis.CmdLineImSolver
    • org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure<S>
    • org.tweetyproject.logics.commons.analysis.DfInconsistencyMeasure<S>
    • org.tweetyproject.logics.commons.analysis.DHitInconsistencyMeasure<T,B,S>
    • org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
      • org.tweetyproject.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure<T,B,S>
    • org.tweetyproject.logics.commons.analysis.DrasticInconsistencyMeasure<S>
    • org.tweetyproject.logics.commons.analysis.DSumInconsistencyMeasure<T,B,S>
    • org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure<B,S>
    • org.tweetyproject.logics.pl.analysis.FbInconsistencyMeasure
    • org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.HsInconsistencyMeasure<B,S>
    • org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.IsInconsistencyMeasure<S>
    • org.tweetyproject.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
      • org.tweetyproject.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.MaInconsistencyMeasure<S>
    • org.tweetyproject.logics.commons.analysis.McscInconsistencyMeasure<S>
    • org.tweetyproject.logics.commons.analysis.MicInconsistencyMeasure<S>
      • org.tweetyproject.logics.commons.analysis.NormalizedMicInconsistencyMeasure<S>
    • org.tweetyproject.logics.commons.analysis.MiInconsistencyMeasure<S>
      • org.tweetyproject.logics.commons.analysis.NormalizedMiInconsistencyMeasure<S>
    • org.tweetyproject.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
    • org.tweetyproject.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
    • org.tweetyproject.logics.pl.analysis.MusVarInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.NConsInconsistencyMeasure<S>
    • org.tweetyproject.logics.pl.analysis.PmInconsistencyMeasure
    • org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.PrInconsistencyMeasure<S>
    • org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure
      • org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure
      • org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure
      • org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure
      • org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure
      • org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure
    • org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure<S>
      • org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure<S>
    • org.tweetyproject.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
      • org.tweetyproject.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure
  • org.tweetyproject.commons.BeliefSetSampler<T,U> (implements org.tweetyproject.commons.BeliefSetIterator<T,U>)
    • org.tweetyproject.logics.pl.util.CnfSampler
    • org.tweetyproject.logics.pl.util.ContensionSampler
    • org.tweetyproject.logics.pl.util.HsSampler
    • org.tweetyproject.logics.pl.util.MiSampler
    • org.tweetyproject.logics.pl.util.RandomSampler
    • org.tweetyproject.logics.pl.util.RandomSatSampler
    • org.tweetyproject.arg.saf.util.SimpleSafSampler
    • org.tweetyproject.logics.pl.util.SyntacticRandomSampler
  • org.tweetyproject.agents.dialogues.oppmodels.BeliefState
    • org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
    • org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState (implements java.lang.Comparable<T>)
    • org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState (implements java.lang.Comparable<T>)
  • org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
    • org.tweetyproject.agents.dialogues.oppmodels.sim.T1Configuration
    • org.tweetyproject.agents.dialogues.oppmodels.sim.T2Configuration
      • org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration
  • org.tweetyproject.math.examples.BfgsSolverEx
  • org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition (implements org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition)
    • org.tweetyproject.arg.adf.syntax.acc.ConjunctionAcceptanceCondition
    • org.tweetyproject.arg.adf.syntax.acc.DisjunctionAcceptanceCondition
    • org.tweetyproject.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
    • org.tweetyproject.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
    • org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition
  • org.tweetyproject.web.services.bipolar.BipolarReasonerCalleeFactory
  • org.tweetyproject.web.services.bipolar.BipolarReasonerPost
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.BipolarSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding)
  • org.tweetyproject.machinelearning.BooleanCategory (implements org.tweetyproject.machinelearning.Category)
  • org.tweetyproject.preferences.aggregation.BordaWeightVector (implements org.tweetyproject.preferences.aggregation.WeightVector)
  • org.tweetyproject.logics.bpm.syntax.BpmnFormula (implements org.tweetyproject.commons.Formula)
    • org.tweetyproject.logics.bpm.syntax.BpmnElement
      • org.tweetyproject.logics.bpm.syntax.BpmnNode (implements org.tweetyproject.graphs.Node)
        • org.tweetyproject.logics.bpm.syntax.Activity
          • org.tweetyproject.logics.bpm.syntax.Task
        • org.tweetyproject.logics.bpm.syntax.Event
          • org.tweetyproject.logics.bpm.syntax.EndEvent
          • org.tweetyproject.logics.bpm.syntax.IntermediateEvent
          • org.tweetyproject.logics.bpm.syntax.StartEvent
        • org.tweetyproject.logics.bpm.syntax.Gateway
          • org.tweetyproject.logics.bpm.syntax.ExclusiveGateway
          • org.tweetyproject.logics.bpm.syntax.InclusiveGateway
      • org.tweetyproject.logics.bpm.syntax.Lane
      • org.tweetyproject.logics.bpm.syntax.Process
  • org.tweetyproject.logics.bpm.syntax.BpmnModel (implements org.tweetyproject.commons.BeliefBase, org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BpmnModelParser
  • org.tweetyproject.logics.bpm.syntax.BpmnSignature (implements org.tweetyproject.commons.Signature)
  • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge
  • org.tweetyproject.arg.adf.util.CacheMap<K,V> (implements java.util.function.Function<T,R>, java.util.Map<K,V>)
  • org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester (implements org.tweetyproject.action.description.analysis.ActionDescriptionConsistencyTester<T>)
  • org.tweetyproject.logics.translators.adfconditional.CADFSemantics
  • org.tweetyproject.arg.caf.examples.CAFReasonerExample
  • org.tweetyproject.arg.caf.util.CafTheoryGenerator
  • org.tweetyproject.arg.caf.examples.CAFTheoryGeneratorExample
  • org.tweetyproject.web.services.Callee (implements java.util.concurrent.Callable<V>)
    • org.tweetyproject.web.services.aba.AbaReasonerGetModelCallee<T>
    • org.tweetyproject.web.services.aba.AbaReasonerGetModelsCallee<T>
    • org.tweetyproject.web.services.aba.AbaReasonerQueryCallee<T>
    • org.tweetyproject.web.services.adf.AdfReasonerGetModelsCallee
    • org.tweetyproject.web.services.adf.AdfReasonerQueryAllCallee
    • org.tweetyproject.web.services.bipolar.BipolarReasonerGetModelCallee
    • org.tweetyproject.web.services.bipolar.BipolarReasonerGetModelsCallee
    • org.tweetyproject.web.services.bipolar.BipolarReasonerQueryAllCallee
    • org.tweetyproject.web.services.delp.DeLPCallee
    • org.tweetyproject.web.services.dung.DungReasonerGetModelCallee
    • org.tweetyproject.web.services.dung.DungReasonerGetModelsCallee
    • org.tweetyproject.web.services.dung.DungReasonerQueryAllCallee
    • org.tweetyproject.web.services.iaf.IafReasonerGetModelsCallee
    • org.tweetyproject.web.services.iaf.IafReasonerQueryAllCallee
    • org.tweetyproject.web.services.paf.PafReasonerQueryAllCallee
    • org.tweetyproject.web.services.paf.PafReasonerQueryCallee
    • org.tweetyproject.web.services.rankings.RankingReasonerGetModelCallee
  • org.tweetyproject.logics.pl.util.CanonicalIterator (implements org.tweetyproject.commons.BeliefSetIterator<T,U>)
  • org.tweetyproject.arg.deductive.semantics.attacks.CanonicalUndercut (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder
  • org.tweetyproject.causal.parser.CausalParserTest
  • org.tweetyproject.web.services.causal.CausalReasonerPost
  • org.tweetyproject.web.services.causal.CausalReasonerResponse
  • org.tweetyproject.web.services.causal.CausalReasonerService
  • org.tweetyproject.web.services.causal.CausalReasonerService.SequenceExplanations
  • org.tweetyproject.causal.examples.CausalReasoningExampleSurfer
  • org.tweetyproject.causal.examples.CausalReasoningExampleVirus
  • org.tweetyproject.causal.semantics.CausalStatement
    • org.tweetyproject.causal.semantics.InterventionalStatement
      • org.tweetyproject.causal.semantics.CounterfactualStatement
  • org.tweetyproject.causal.writer.CausalWriter
  • org.tweetyproject.arg.dung.examples.CF2Example
  • org.tweetyproject.arg.dung.syntax.Claim
  • org.tweetyproject.arg.dung.examples.ClaimBasedReasonersTest
  • org.tweetyproject.arg.deductive.categorizer.ClassicalCategorizer (implements org.tweetyproject.arg.deductive.categorizer.Categorizer)
  • org.tweetyproject.machinelearning.ClassificationTester<S,T>
    • org.tweetyproject.machinelearning.CrossValidator<S,T>
  • org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint (implements org.tweetyproject.arg.dung.learning.syntax.AttackConstraint<T>)
  • org.tweetyproject.arg.adf.transform.processor.ClauseSplittingProcessor (implements org.tweetyproject.arg.adf.transform.processor.Processor<I,O>)
  • org.tweetyproject.action.description.syntax.CLaw (implements org.tweetyproject.action.description.syntax.CausalLaw)
    • org.tweetyproject.action.description.syntax.DynamicLaw
    • org.tweetyproject.action.description.syntax.StaticLaw
  • org.tweetyproject.cli.plugins.CliMain
  • org.tweetyproject.lp.asp.analysis.ClingoTest
  • org.tweetyproject.lp.asp.writer.ClingoWriter
  • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.CollaborationParser
  • org.tweetyproject.arg.adf.cli.CommandLineInterface
  • org.tweetyproject.plugin.parameter.CommandParameter (implements java.lang.Cloneable)
    • org.tweetyproject.plugin.parameter.FileListCommandParameter
    • org.tweetyproject.plugin.parameter.IntegerCommandParameter
    • org.tweetyproject.plugin.parameter.SelectionCommandParameter
    • org.tweetyproject.plugin.parameter.StringListCommandParameter
      • org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
  • org.tweetyproject.logics.translators.adfcl.CompareInference
  • org.tweetyproject.arg.delp.semantics.ComparisonCriterion
    • org.tweetyproject.arg.delp.semantics.EmptyCriterion
    • org.tweetyproject.arg.delp.semantics.GeneralizedSpecificity
  • org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier (implements org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier)
  • org.tweetyproject.logics.dl.syntax.ComplexConcept (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
    • org.tweetyproject.logics.dl.syntax.AssociativeDlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge)
      • org.tweetyproject.logics.dl.syntax.Intersection
      • org.tweetyproject.logics.dl.syntax.Union
    • org.tweetyproject.logics.dl.syntax.AtomicConcept
    • org.tweetyproject.logics.dl.syntax.AtomicRole
    • org.tweetyproject.logics.dl.syntax.BottomConcept
    • org.tweetyproject.logics.dl.syntax.Complement
    • org.tweetyproject.logics.dl.syntax.ExistentialRestriction
    • org.tweetyproject.logics.dl.syntax.TopConcept
    • org.tweetyproject.logics.dl.syntax.UniversalRestriction
  • org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter (implements org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula)
    • org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport<T> (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>)
    • org.tweetyproject.lp.nlp.syntax.NLPRule (implements org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula, org.tweetyproject.commons.util.rules.Rule<C,P>)
  • java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    • java.awt.Container
      • javax.swing.JComponent (implements java.io.Serializable)
        • javax.swing.JPanel (implements javax.accessibility.Accessible)
          • org.tweetyproject.beliefdynamics.gui.RevisionCompareView (implements java.beans.PropertyChangeListener)
          • org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView (implements java.beans.PropertyChangeListener)
  • org.tweetyproject.web.services.causal.ConclusionsFilterSerialization
  • org.tweetyproject.logics.cl.syntax.Conditional (implements org.tweetyproject.commons.util.rules.Rule<C,P>, org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
    • org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional (implements org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
  • org.tweetyproject.logics.cl.semantics.ConditionalStructure (implements java.util.Comparator<T>)
  • org.tweetyproject.logics.cl.kappa.ConditionalStructureKappaBuilder
  • org.tweetyproject.arg.lp.semantics.attack.ConfidentAttack (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.arg.lp.semantics.attack.ConfidentRebut (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration
  • org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding, org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding)
  • org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer (implements org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor)
  • org.tweetyproject.logics.pl.examples.ContensionExample
  • org.tweetyproject.commons.util.ConversionTools
  • org.tweetyproject.logics.translators.adfcl.ConverterADF2CL
  • org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMeMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.web.CorsResponseFilter (implements javax.ws.rs.container.ContainerResponseFilter)
  • org.tweetyproject.causal.examples.CounterfactualReasoningExample
  • org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample
  • org.tweetyproject.agents.dialogues.structured.CountingUtilityFunction (implements org.tweetyproject.agents.dialogues.structured.UtilityFunction)
  • org.tweetyproject.logics.cl.examples.CReasonerExample
  • org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior (implements org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision.AnswersetProcessing)
  • org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest
  • org.tweetyproject.beliefdynamics.examples.CrMasExample
  • org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest
  • org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator
  • org.tweetyproject.arg.dung.analysis.CycleCountInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.logics.translators.adfrevision.DalalDistanceThreeValued
  • org.tweetyproject.logics.bpm.analysis.DeadEndMeasure (implements org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure)
  • org.tweetyproject.logics.bpm.analysis.DeadTransitionMeasure (implements org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure)
  • org.tweetyproject.arg.deductive.semantics.DeductiveArgument
    • org.tweetyproject.arg.deductive.semantics.DeductiveArgumentNode (implements org.tweetyproject.graphs.Node)
  • org.tweetyproject.arg.bipolar.examples.DeductiveBipolarArgumentation
  • org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment (implements org.tweetyproject.agents.Environment, org.tweetyproject.agents.Perceivable)
  • org.tweetyproject.arg.deductive.examples.DeductiveExample
  • org.tweetyproject.arg.deductive.DeductiveTest
  • org.tweetyproject.beliefdynamics.DefaultBaseExpansionOperator<T> (implements org.tweetyproject.beliefdynamics.BaseExpansionOperator<T>)
  • org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure (implements org.tweetyproject.logics.mln.analysis.CompatibilityMeasure)
  • org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
  • org.tweetyproject.commons.streams.DefaultFormulaStream<S> (implements org.tweetyproject.commons.streams.FormulaStream<S>)
  • org.tweetyproject.graphs.DefaultGraph<T> (implements org.tweetyproject.graphs.Graph<T>)
    • org.tweetyproject.arg.deductive.semantics.ArgumentTree
    • org.tweetyproject.arg.deductive.semantics.Compilation
    • org.tweetyproject.graphs.SimpleGraph<T> (implements org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.logics.commons.analysis.streams.DefaultInconsistencyListener (implements org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener)
  • org.tweetyproject.logics.rdl.semantics.DefaultProcessTree
  • org.tweetyproject.logics.rdl.semantics.DefaultSequence
  • org.tweetyproject.logics.rdl.syntax.DefaultTheory (implements org.tweetyproject.commons.BeliefBase)
  • org.tweetyproject.arg.deductive.semantics.attacks.Defeat (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.arg.lp.semantics.attack.Defeat (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.arg.deductive.semantics.attacks.DefeatingRebuttal (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator (implements java.util.Comparator<T>)
  • org.tweetyproject.arg.delp.semantics.DelpAnswer
  • org.tweetyproject.arg.delp.syntax.DelpArgument (implements org.tweetyproject.commons.Formula)
  • org.tweetyproject.arg.delp.examples.DeLPExample
  • org.tweetyproject.arg.delp.parser.DelpParserTokenManager (implements org.tweetyproject.arg.delp.parser.DelpParserConstants)
  • org.tweetyproject.web.services.delp.DeLPPost
  • org.tweetyproject.arg.delp.reasoner.DelpReasoner (implements org.tweetyproject.commons.Reasoner<O,B,F>)
  • org.tweetyproject.logics.pl.examples.DfInconsistencyMeasureExample
  • org.tweetyproject.web.services.sequenceexplanation.DialectialSequenceExplanationDTO
  • org.tweetyproject.arg.delp.semantics.DialecticalTree
  • java.util.Dictionary<K,V>
    • java.util.Hashtable<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • org.tweetyproject.agents.sim.SimulationParameters
  • org.tweetyproject.arg.deductive.semantics.attacks.DirectDefeat (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocolGenerator (implements org.tweetyproject.agents.sim.ProtocolGenerator<T,S,R>)
  • org.tweetyproject.arg.aspic.examples.DirectionalReasonerTest
  • org.tweetyproject.arg.deductive.semantics.attacks.DirectUndercut (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.logics.pcl.analysis.DistanceMinimizationMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.arg.dung.examples.DivisionExample
  • org.tweetyproject.logics.dl.syntax.DlAxiom (implements org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
    • org.tweetyproject.logics.dl.syntax.AssertionalAxiom
      • org.tweetyproject.logics.dl.syntax.ConceptAssertion
      • org.tweetyproject.logics.dl.syntax.RoleAssertion
    • org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
  • org.tweetyproject.logics.dl.examples.DlExample
  • org.tweetyproject.logics.dl.test.DlParserTest
  • org.tweetyproject.logics.dl.test.DlReasonerTest
  • org.tweetyproject.lp.asp.analysis.DLVTest
  • org.tweetyproject.lp.asp.writer.DLVWriter
  • org.tweetyproject.machinelearning.DoubleCategory (implements org.tweetyproject.machinelearning.Category)
  • org.tweetyproject.commons.analysis.DrasticDistance<T,B,S> (implements org.tweetyproject.commons.analysis.InterpretationDistance<T,B,S>)
  • org.tweetyproject.arg.dung.analysis.DrasticInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.logics.pl.examples.DSumMeasureExample
  • org.tweetyproject.commons.DualSetSignature<T,S> (implements org.tweetyproject.commons.Signature)
  • org.tweetyproject.agents.dialogues.lotteries.sim.DummyAgentGenerator (implements org.tweetyproject.agents.sim.AgentGenerator<T,S>)
  • org.tweetyproject.web.services.dung.DungReasonerCalleeFactory
  • org.tweetyproject.web.services.dung.DungReasonerPost
  • org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters
  • org.tweetyproject.arg.dung.examples.DungTheoryGeneratorExample
  • org.tweetyproject.arg.dung.examples.DungTheoryPlotterExample
  • org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator<T> (implements org.tweetyproject.preferences.aggregation.DynamicPreferenceAggregator<T>)
    • org.tweetyproject.preferences.aggregation.DynamicBordaScoringPreferenceAggregator<T>
    • org.tweetyproject.preferences.aggregation.DynamicPluralityScoringPreferenceAggregator<T>
    • org.tweetyproject.preferences.aggregation.DynamicVetoScoringPreferenceAggregator<T>
  • org.tweetyproject.arg.eaf.reasoner.EAFAgreementReasoner
  • org.tweetyproject.arg.eaf.examples.EAFAgreementReasonerExample
  • org.tweetyproject.arg.eaf.examples.EafPreferenceRepresentationExample
  • org.tweetyproject.arg.eaf.examples.EafReasonerExample
  • org.tweetyproject.arg.eaf.util.EafTheoryGenerator
  • org.tweetyproject.arg.eaf.examples.EafTheoryGeneratorExample
  • org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator (implements java.util.Comparator<T>)
  • org.tweetyproject.arg.dung.learning.syntax.Entity
  • org.tweetyproject.math.func.EntropyFunction (implements org.tweetyproject.math.func.SimpleRealValuedFunction)
    • org.tweetyproject.math.norm.EntropyNorm<T> (implements org.tweetyproject.math.norm.RealVectorNorm)
  • org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
    • org.tweetyproject.arg.dung.util.EnumeratingDilationGenerator
  • org.tweetyproject.logics.pl.util.EnumeratingIterator (implements org.tweetyproject.commons.BeliefSetIterator<T,U>)
  • isula.aco.Environment
    • org.tweetyproject.math.opt.solver.AntColonyOptimization.AntCol_Environment
  • org.tweetyproject.machinelearning.rl.mdp.Episode<S,A>
  • org.tweetyproject.lp.asp.syntax.EqualsTester
  • org.tweetyproject.arg.dung.examples.EquivalenceExample
  • org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.AdmissibleKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.CompleteKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.GroundedKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.LocalExpansionCompleteKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.StableKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.StrongExpansionAdmissibleKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.StrongExpansionCompleteKernel
    • org.tweetyproject.arg.dung.equivalence.kernel.StrongExpansionGroundedKernel
  • org.tweetyproject.logics.translators.adfconditional.EvaluateWorld4V
  • org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener (implements org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener)
  • org.tweetyproject.logics.cl.test.EvaluationTest
  • java.util.EventObject (implements java.io.Serializable)
    • org.tweetyproject.preferences.events.UpdateEvent<T>
  • org.tweetyproject.logics.bpm.examples.Example
  • org.tweetyproject.arg.dung.learning.ExampleFinder
  • org.tweetyproject.commons.util.ExamplesHTMLGenerator
  • org.tweetyproject.arg.adf.util.ExcludeSubinterpretationsIterator (implements java.util.Iterator<E>)
  • org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
  • org.tweetyproject.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator (implements java.util.Iterator<E>)
  • org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
  • org.tweetyproject.arg.explanations.principles.ExplanationPrinciple (implements org.tweetyproject.commons.postulates.Postulate<S>)
  • org.tweetyproject.arg.extended.syntax.ExtendedAttack (implements org.tweetyproject.arg.dung.syntax.DungEntity)
  • org.tweetyproject.arg.dung.learning.ExtendedExampleFinder
  • org.tweetyproject.arg.extended.examples.ExtendedTheoryExample
  • org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure
  • org.tweetyproject.arg.dung.examples.ExtensionRankingExample
  • org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner
  • org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
  • org.tweetyproject.arg.dung.util.FileDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
  • org.tweetyproject.machinelearning.rl.mdp.FixedPolicy<S,A> (implements org.tweetyproject.machinelearning.rl.mdp.Policy<S,A>)
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding)
  • org.tweetyproject.arg.adf.transform.FixPartialTransformer (implements org.tweetyproject.arg.adf.transform.Transformer<R>)
  • org.tweetyproject.action.signature.FolAction (implements java.lang.Iterable<T>)
  • org.tweetyproject.logics.fol.examples.FolExample
  • org.tweetyproject.logics.fol.test.FolParserTest
  • org.tweetyproject.logics.fol.reasoner.FolReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.logics.fol.reasoner.EFOLReasoner
    • org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
    • org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
    • org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
  • org.tweetyproject.commons.FormulaSampler<T>
    • org.tweetyproject.arg.saf.util.BasicArgumentSampler
  • org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator (implements org.tweetyproject.commons.InterpretationIterator<S,B,T>)
  • org.tweetyproject.machinelearning.examples.FpGrowthExample
  • org.tweetyproject.machinelearning.assoc.FpGrowthMiner<T> (implements org.tweetyproject.machinelearning.assoc.FrequentPatternMiner<T>)
  • org.tweetyproject.math.func.FracAggrFunction (implements org.tweetyproject.math.func.SimpleFunction<T,S>)
  • org.tweetyproject.math.func.FractionSequenceFunction (implements org.tweetyproject.math.func.SimpleFunction<T,S>)
  • org.tweetyproject.machinelearning.assoc.FrequentPatternTree<T>
  • org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode<S>
  • org.tweetyproject.logics.pl.test.FuzzyInconsistencyMeasureTest
  • org.tweetyproject.logics.pl.examples.FuzzyMeasureExample
  • org.tweetyproject.math.func.fuzzy.FuzzyNegation (implements org.tweetyproject.math.func.SimpleFunction<T,S>)
    • org.tweetyproject.math.func.fuzzy.DefaultNegation
  • org.tweetyproject.agents.sim.GameSimulator<S,T,R>
  • org.tweetyproject.arg.dung.reasoner.GCF_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T> (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
    • org.tweetyproject.arg.aba.reasoner.CompleteReasoner<T>
    • org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner<T>
    • org.tweetyproject.arg.aba.reasoner.IdealReasoner<T>
    • org.tweetyproject.arg.aba.reasoner.PreferredReasoner<T>
    • org.tweetyproject.arg.aba.reasoner.StableReasoner<T>
    • org.tweetyproject.arg.aba.reasoner.WellFoundedReasoner<T>
  • org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory<T>
  • org.tweetyproject.graphs.GeneralEdge<T>
    • org.tweetyproject.graphs.Edge<T>
      • org.tweetyproject.logics.petri.syntax.Ark
      • org.tweetyproject.logics.bpm.syntax.BpmnEdge
      • org.tweetyproject.graphs.DirectedEdge<T>
        • org.tweetyproject.graphs.util.AigLink
        • org.tweetyproject.arg.dung.syntax.Attack (implements org.tweetyproject.arg.dung.syntax.DungEntity)
          • org.tweetyproject.arg.aba.semantics.AbaAttack<T>
          • org.tweetyproject.arg.aspic.semantics.AspicAttack<T>
        • org.tweetyproject.logics.bpm.syntax.MessageFlow
        • org.tweetyproject.logics.bpm.syntax.SequenceFlow
        • org.tweetyproject.arg.adf.semantics.link.SimpleLink (implements org.tweetyproject.arg.adf.semantics.link.Link)
        • org.tweetyproject.arg.bipolar.syntax.Support
        • org.tweetyproject.graphs.WeightedDirectedEdge<S,T> (implements org.tweetyproject.graphs.WeightedEdge<S,T>)
      • org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge (implements java.lang.Comparable<T>)
      • org.tweetyproject.graphs.UndirectedEdge<T>
        • org.tweetyproject.logics.bpm.syntax.Association
    • org.tweetyproject.graphs.HyperDirEdge<T>
      • org.tweetyproject.arg.setaf.syntax.SetAttack (implements org.tweetyproject.arg.dung.syntax.DungEntity)
  • org.tweetyproject.logics.pcl.analysis.GeneralizedMeMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet
  • org.tweetyproject.arg.dung.reasoner.GFR_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.GgAdmissibleApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.GgAdmissibleAstApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.math.examples.GlpkSolverEx
  • org.tweetyproject.math.examples.GradientDescentSolverEx
  • org.tweetyproject.graphs.examples.GraphExample
  • org.tweetyproject.graphs.examples.GraphExample2
  • org.tweetyproject.graphs.util.GraphPlotter<T,S>
    • org.tweetyproject.logics.bpm.plotting.BpmnModelPlotter
    • org.tweetyproject.arg.dung.util.DungTheoryPlotter
    • org.tweetyproject.logics.petri.plotting.PetriNetPlotter
    • org.tweetyproject.logics.petri.plotting.ReachabilityGraphPlotter
    • org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter
  • org.tweetyproject.arg.dung.examples.GraphPlotterExample
  • org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
  • org.tweetyproject.graphs.GraphTest
  • org.tweetyproject.graphs.util.GraphUtil
  • org.tweetyproject.graphs.util.GraphUtilTest
  • org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator (implements org.tweetyproject.agents.sim.AgentGenerator<T,S>)
    • org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
    • org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator
    • org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator
  • org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameGenerator (implements org.tweetyproject.agents.sim.MultiAgentSystemGenerator<T,S>)
  • org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameProtocolGenerator (implements org.tweetyproject.agents.sim.ProtocolGenerator<T,S,R>)
  • GroundedTest
  • org.tweetyproject.agents.dialogues.examples.GroundedTest
  • org.tweetyproject.agents.dialogues.examples.GroundedTest2
  • org.tweetyproject.lp.asp.examples.GrounderExample
  • org.tweetyproject.action.grounding.parser.GroundingRequirementsParser
  • org.tweetyproject.action.grounding.GroundingTools
  • org.tweetyproject.arg.dung.reasoner.GsAdmissibleApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.GsAdmissibleAstApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.math.examples.GurobiTest
  • org.tweetyproject.arg.deductive.categorizer.HCategorizer (implements org.tweetyproject.arg.deductive.categorizer.Categorizer)
  • org.tweetyproject.logics.fol.semantics.HerbrandBase
  • org.tweetyproject.math.examples.HessianGradientSolverEx
  • org.tweetyproject.graphs.HyperGraph<T> (implements org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.graphs.examples.HyperGraphExample
  • org.tweetyproject.web.services.iaf.IafReasonerCalleeFactory
  • org.tweetyproject.web.services.iaf.IafReasonerFactory
  • org.tweetyproject.web.services.iaf.IafReasonerPost
  • org.tweetyproject.logics.pl.examples.IcebergInconsistencyExample
  • org.tweetyproject.logics.pl.postulates.ImPostulate (implements org.tweetyproject.commons.postulates.Postulate<S>)
    • org.tweetyproject.logics.pl.postulates.ImAdjunctionInvariance
    • org.tweetyproject.logics.pl.postulates.ImAttenuation
    • org.tweetyproject.logics.pl.postulates.ImConsistency
    • org.tweetyproject.logics.pl.postulates.ImContradiction
    • org.tweetyproject.logics.pl.postulates.ImDominance
    • org.tweetyproject.logics.pl.postulates.ImEqualConflict
    • org.tweetyproject.logics.pl.postulates.ImExchange
    • org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution
    • org.tweetyproject.logics.pl.postulates.ImFreeFormulaIndependence
    • org.tweetyproject.logics.pl.postulates.ImIrrelevanceOfSyntax
    • org.tweetyproject.logics.pl.postulates.ImMINormalization
    • org.tweetyproject.logics.pl.postulates.ImMISeparability
    • org.tweetyproject.logics.pl.postulates.ImMonotony
    • org.tweetyproject.logics.pl.postulates.ImNormalization
    • org.tweetyproject.logics.pl.postulates.ImPenalty
    • org.tweetyproject.logics.pl.postulates.ImSafeFormulaIndependence
    • org.tweetyproject.logics.pl.postulates.ImSuperAdditivity
    • org.tweetyproject.logics.pl.postulates.ImWeakDominance
  • org.tweetyproject.logics.pl.examples.ImPostulateEvaluationExample
  • org.tweetyproject.arg.dung.learning.ImprovedRiveretTheoryLearner
  • org.tweetyproject.arg.dung.reasoner.IncompleteReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
  • org.tweetyproject.arg.dung.examples.IncompleteReasonerExample
  • org.tweetyproject.logics.pl.examples.InconsistencyMeasureEvaluationExample
  • org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator<T,U>
  • org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory
  • org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport<T,U>
  • org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult
  • org.tweetyproject.logics.commons.analysis.streams.InconsistencyUpdateEvent
  • org.tweetyproject.arg.dung.independence.Independence
  • org.tweetyproject.arg.dung.examples.IndependenceExample
  • org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction (implements org.tweetyproject.agents.dialogues.structured.UtilityFunction)
  • org.tweetyproject.arg.aspic.syntax.InferenceRule<T> (implements org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula, org.tweetyproject.commons.util.rules.Rule<C,P>)
    • org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule<T>
    • org.tweetyproject.arg.aspic.syntax.StrictInferenceRule<T>
  • org.tweetyproject.beliefdynamics.mas.InformationObject<T> (implements org.tweetyproject.commons.Formula)
  • org.tweetyproject.lp.asp.parser.InstantiateVisitor (implements org.tweetyproject.lp.asp.parser.ASPParserVisitor)
  • org.tweetyproject.arg.dung.analysis.InSumInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.adf.semantics.interpretation.Interpretation.Builder
  • org.tweetyproject.arg.adf.semantics.interpretation.InterpretationIterator (implements java.util.Iterator<E>)
  • org.tweetyproject.arg.adf.util.test.InterpretationIteratorTest
  • org.tweetyproject.math.Interval<S> (implements org.tweetyproject.math.NumberSet<S>)
  • org.tweetyproject.causal.examples.InterventionalCausalReasoningExample
  • org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
  • org.tweetyproject.arg.social.reasoner.IssReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QuantitativeReasoner<B,F>)
  • org.tweetyproject.arg.rankings.examples.IteratedGradedDefenseReasonerExample
  • org.tweetyproject.math.examples.IteratedLocalSearchOnConstrProbEx
  • org.tweetyproject.machinelearning.rl.mdp.algorithms.IterativePolicyEvaluation<S,A> (implements org.tweetyproject.machinelearning.rl.mdp.algorithms.PolicyEvaluation<S,A>)
  • org.tweetyproject.lp.asp.parser.JJTASPParserState
  • org.tweetyproject.web.util.JSONObject
  • org.tweetyproject.logics.cl.kappa.KappaMin (implements org.tweetyproject.logics.cl.kappa.KappaTerm)
  • org.tweetyproject.logics.cl.kappa.KappaSum (implements org.tweetyproject.logics.cl.kappa.KappaTerm)
  • org.tweetyproject.logics.cl.kappa.KappaValue (implements org.tweetyproject.logics.cl.kappa.KappaTerm)
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding)
  • org.tweetyproject.arg.adf.reasoner.sat.processor.KBipolarStateProcessor (implements org.tweetyproject.arg.adf.reasoner.sat.processor.StateProcessor)
  • org.tweetyproject.math.examples.KnapSack_solvedWithGeneticOpt
  • org.tweetyproject.math.examples.KnapSack_solvedWithIteratedLocalSearch2
  • org.tweetyproject.math.examples.KnapSack_solvedWithSimAn
  • org.tweetyproject.math.examples.Knapsack_solvedWithStochasticLocalSearch
  • org.tweetyproject.math.examples.KnapSack_solvedWithTabuSearch
  • org.tweetyproject.arg.adf.io.KppADFFormatParser
  • org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest
  • org.tweetyproject.arg.adf.io.KppADFFormatWriter
  • org.tweetyproject.arg.dung.util.KwtDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
  • org.tweetyproject.arg.dung.examples.KwtGeneratorExample
  • org.tweetyproject.math.examples.LagrangeSolverEx
  • org.tweetyproject.math.examples.LagrangeSolverEx2
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding)
  • org.tweetyproject.arg.adf.util.LazyMap<K,V> (implements java.util.Map<K,V>)
  • org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery
  • org.tweetyproject.arg.dung.ldo.syntax.LdoFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
    • org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
      • org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality
        • org.tweetyproject.arg.dung.ldo.syntax.LdoGraphBoxModality
        • org.tweetyproject.arg.dung.ldo.syntax.LdoGraphDiamondModality
      • org.tweetyproject.arg.dung.ldo.syntax.LdoBoxModality
      • org.tweetyproject.arg.dung.ldo.syntax.LdoDiamondModality
    • org.tweetyproject.arg.dung.ldo.syntax.LdoArgument (implements org.tweetyproject.logics.commons.syntax.interfaces.Atom, java.lang.Comparable<T>)
    • org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge)
      • org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
      • org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
    • org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
    • org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
  • org.tweetyproject.arg.dung.examples.LearningExample
  • org.tweetyproject.beliefdynamics.LeviBaseRevisionOperator<T> (implements org.tweetyproject.beliefdynamics.BaseRevisionOperator<T>)
  • org.tweetyproject.arg.rankings.util.LexicographicDoubleTupleComparator (implements java.util.Comparator<T>)
  • org.tweetyproject.arg.rankings.util.LexicographicIntTupleComparator (implements java.util.Comparator<T>)
  • org.tweetyproject.sat.lingeling.LingelingSatSolver (implements org.tweetyproject.sat.SatSolver)
  • org.tweetyproject.sat.test.LingelingTest
  • org.tweetyproject.arg.adf.semantics.test.LinkTypeTest
  • org.tweetyproject.arg.dung.equivalence.LocalExpansionEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • org.tweetyproject.web.services.LoggerUtil
  • org.tweetyproject.logics.commons.LogicalSymbols
  • org.tweetyproject.logics.fol.syntax.LogicStructure
  • org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment (implements org.tweetyproject.agents.Environment, org.tweetyproject.agents.Perceivable)
  • org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
  • org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest2
  • org.tweetyproject.arg.prob.examples.LotteryExample
  • org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator (implements org.tweetyproject.agents.sim.MultiAgentSystemGenerator<T,S>)
  • org.tweetyproject.math.examples.LpSolverEx
  • org.tweetyproject.logics.pl.examples.MaMeasureExample
  • org.tweetyproject.commons.util.MapTools<E,F>
  • org.tweetyproject.logics.petri.syntax.reachability_graph.Marking (implements java.lang.Comparable<T>, org.tweetyproject.graphs.Node)
  • org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess<S,A>
  • org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
  • org.tweetyproject.commons.util.MathTools
  • org.tweetyproject.logics.pcl.util.MatlabUtils
  • org.tweetyproject.math.matrix.Matrix
  • org.tweetyproject.math.func.MaxAggregator (implements org.tweetyproject.math.func.AggregationFunction)
  • org.tweetyproject.logics.pcl.examples.MaxEntExample
  • org.tweetyproject.math.func.MaxFunction (implements org.tweetyproject.math.func.BinaryFunction<T,S,R>)
  • org.tweetyproject.logics.pcl.analysis.MaximumEntropyMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.logics.pl.examples.MaxSatExample
  • org.tweetyproject.arg.dung.reasoner.MaxSatKAdmissibleAstReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.MaxSatKAdmissibleReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.arg.dung.reasoner.MaxSatKStableReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.logics.pl.examples.McscInconsistencyMeasureExample
  • org.tweetyproject.machinelearning.examples.MdpExample
  • org.tweetyproject.logics.pcl.analysis.MeanDistanceCulpabilityMeasure (implements org.tweetyproject.logics.pcl.analysis.SignedCulpabilityMeasure)
  • org.tweetyproject.logics.bpm.syntax.Message
  • org.tweetyproject.math.func.MinAggregator (implements org.tweetyproject.math.func.AggregationFunction)
  • org.tweetyproject.logics.pl.examples.MinimalInconsistentSubsetExample
  • org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
    • org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoExpression
    • org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoMatrix
  • org.tweetyproject.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
  • org.tweetyproject.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.logics.pcl.analysis.MinimumViolationMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.sat.minisat.MinisatSatSolver (implements org.tweetyproject.sat.SatSolver)
  • org.tweetyproject.sat.test.MinisatTest
  • org.tweetyproject.arg.dung.semantics.MinMaxNumbering (implements java.util.Map<K,V>)
  • org.tweetyproject.logics.ml.MleanCoPTest
  • org.tweetyproject.logics.ml.writer.MleanCoPWriter
  • org.tweetyproject.logics.ml.examples.MlExample
  • org.tweetyproject.logics.ml.examples.MlExample2
  • org.tweetyproject.logics.ml.semantics.MlHerbrandBase
  • org.tweetyproject.logics.mln.examples.MlnExample
  • org.tweetyproject.logics.mln.examples.MlnExample2
  • org.tweetyproject.logics.ml.MlParserTest
  • org.tweetyproject.logics.ml.MlReasonerTest
  • org.tweetyproject.arg.dung.learning.util.ModelComputation
  • org.tweetyproject.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction (implements org.tweetyproject.lp.asp.beliefdynamics.baserevision.SelectionFunction<T>)
  • org.tweetyproject.arg.adf.reasoner.sat.decomposer.MostBipolarParentsDecomposer
  • org.tweetyproject.arg.adf.reasoner.sat.decomposer.MostComplexAcceptanceConditionDecomposer
  • org.tweetyproject.agents.MultiAgentSystem<T> (implements java.util.Collection<E>)
    • org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem
    • org.tweetyproject.agents.dialogues.lotteries.LotteryGameSystem
    • org.tweetyproject.agents.dialogues.structured.StructuredArgumentationSystem
  • org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer (implements org.tweetyproject.machinelearning.Trainer<S,T>)
  • org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator<T> (implements org.tweetyproject.beliefdynamics.BaseContractionOperator<T>)
    • org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator<T>
      • org.tweetyproject.beliefdynamics.operators.RandomKernelContractionOperator
  • org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator<T> (implements org.tweetyproject.beliefdynamics.BaseExpansionOperator<T>)
    • org.tweetyproject.beliefdynamics.DefaultMultipleBaseExpansionOperator<T>
  • org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T> (implements org.tweetyproject.beliefdynamics.BaseRevisionOperator<T>)
    • org.tweetyproject.beliefdynamics.operators.ArgumentativeRevisionOperator
    • org.tweetyproject.beliefdynamics.CredibilityRevision<T>
      • org.tweetyproject.beliefdynamics.CredibilityRevisionIterative<T>
        • org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling
      • org.tweetyproject.beliefdynamics.CredibilityRevisionNonIterative<T>
        • org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
    • org.tweetyproject.beliefdynamics.operators.CrMasArgumentativeRevisionOperator
    • org.tweetyproject.beliefdynamics.mas.CrMasRevisionWrapper<T>
    • org.tweetyproject.beliefdynamics.operators.CrMasSimpleRevisionOperator
    • org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
    • org.tweetyproject.beliefdynamics.LeviMultipleBaseRevisionOperator<T>
    • org.tweetyproject.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator<T>
    • org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
  • org.tweetyproject.agents.dialogues.structured.MultipleIndicatorUtilityFunction (implements org.tweetyproject.agents.dialogues.structured.UtilityFunction)
  • org.tweetyproject.logics.pl.examples.MusExample
  • org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
  • org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction (implements org.tweetyproject.beliefdynamics.selectiverevision.MultipleTransformationFunction<T>)
  • org.tweetyproject.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
  • org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier (implements org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier)
  • org.tweetyproject.machinelearning.rl.mdp.NamedAction (implements org.tweetyproject.machinelearning.rl.mdp.Action)
  • org.tweetyproject.machinelearning.rl.mdp.NamedState (implements org.tweetyproject.machinelearning.rl.mdp.State)
  • org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver (implements org.tweetyproject.arg.adf.sat.IncrementalSatSolver)
  • org.tweetyproject.arg.adf.sat.solver.NativeMinisatSolver (implements org.tweetyproject.arg.adf.sat.IncrementalSatSolver)
  • org.tweetyproject.arg.adf.sat.solver.NativePicosatSolver (implements org.tweetyproject.arg.adf.sat.IncrementalSatSolver)
  • org.tweetyproject.arg.bipolar.examples.NecessityBipolarArgumentation
  • org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition (implements org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition)
  • org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer
  • org.tweetyproject.lp.nlp.syntax.NLPRuleTest
  • org.tweetyproject.arg.dung.analysis.NonGroundedCountInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.dung.equivalence.NormalDeletionEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • java.lang.Number (implements java.io.Serializable)
    • org.tweetyproject.math.ComplexNumber
    • org.tweetyproject.math.probability.Probability
  • org.tweetyproject.math.examples.OctaveSqpSolverEx
  • org.tweetyproject.machinelearning.rl.mdp.algorithms.OfflineAlgorithm<S,A>
    • org.tweetyproject.machinelearning.rl.mdp.algorithms.PolicyIteration<S,A>
    • org.tweetyproject.machinelearning.rl.mdp.algorithms.ValueIteration<S,A>
  • org.tweetyproject.math.util.OjAlgoMathUtils
  • org.tweetyproject.logics.pcl.util.OjAlgoPclUtils
  • org.tweetyproject.arg.dung.examples.OptimisationExample
  • org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner (implements org.tweetyproject.arg.dung.learning.AFLearner)
  • org.tweetyproject.lp.asp.examples.OptimizeExample
  • org.kohsuke.args4j.spi.OptionHandler<T>
    • org.tweetyproject.arg.delp.semantics.CriterionOptionHandler
  • org.tweetyproject.math.term.OptProbElement
    • org.tweetyproject.math.term.ElementOfCombinatoricsProb
    • org.tweetyproject.math.equation.Statement
      • org.tweetyproject.math.equation.Equation
      • org.tweetyproject.math.equation.Inequation
  • org.tweetyproject.comparator.Order<T>
  • org.tweetyproject.plugin.OutputField
  • org.tweetyproject.arg.saf.reasoner.OutputReasoner (implements org.tweetyproject.commons.QualitativeReasoner<B,F>)
  • org.tweetyproject.web.services.paf.PafReasonerCalleeFactory
  • org.tweetyproject.web.services.paf.PafReasonerPost
  • org.tweetyproject.arg.prob.analysis.PAInconsistencyMeasure (implements org.tweetyproject.logics.commons.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.prob.examples.PAInconsistencyMeasureExample
  • org.tweetyproject.arg.adf.util.Pair<T1,T2>
  • org.tweetyproject.commons.util.Pair<E,F> (implements java.io.Serializable)
    • org.tweetyproject.arg.dung.divisions.Division
  • org.tweetyproject.arg.adf.util.test.PairTest
  • org.tweetyproject.arg.adf.reasoner.sat.execution.ParallelExecution (implements org.tweetyproject.arg.adf.reasoner.sat.execution.Execution)
  • org.tweetyproject.machinelearning.ParameterTrainer<S,T> (implements org.tweetyproject.machinelearning.Trainer<S,T>)
    • org.tweetyproject.machinelearning.GridSearchParameterLearner<S,T>
  • org.tweetyproject.commons.Parser<T,S>
    • org.tweetyproject.arg.aba.parser.AbaParser<T>
    • org.tweetyproject.arg.dung.parser.AbstractDungParser
      • org.tweetyproject.arg.dung.parser.ApxParser
      • org.tweetyproject.arg.dung.parser.CnfParser
      • org.tweetyproject.arg.dung.parser.Iccma23Parser
      • org.tweetyproject.arg.dung.parser.TgfParser
    • org.tweetyproject.action.query.parser.ActionQueryParser
    • org.tweetyproject.arg.aspic.parser.AspicParser<T>
    • org.tweetyproject.causal.parser.CausalParser
    • org.tweetyproject.action.description.parser.CLawParser
    • org.tweetyproject.logics.cl.parser.ClParser
    • org.tweetyproject.action.description.parser.CParser
    • org.tweetyproject.arg.delp.parser.DelpParser (implements org.tweetyproject.arg.delp.parser.DelpParserConstants)
    • org.tweetyproject.logics.pl.parser.DimacsParser
      • org.tweetyproject.logics.qbf.parser.QdimacsParser
    • org.tweetyproject.logics.dl.parser.DlParser
    • org.tweetyproject.logics.fol.parser.FolParser
    • org.tweetyproject.logics.ml.parser.MlParser
    • org.tweetyproject.logics.pcl.parser.PclParser
    • org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser
    • org.tweetyproject.logics.pl.parser.PlParser
      • org.tweetyproject.logics.qbf.parser.QbfParser
    • org.tweetyproject.logics.translators.adfrevision.PlParserThreeValued
    • org.tweetyproject.logics.qbf.parser.QCirParser
    • org.tweetyproject.logics.rcl.parser.RclParser
    • org.tweetyproject.logics.rdl.parser.RdlParser
    • org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser
    • org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
    • org.tweetyproject.logics.rpcl.parser.RpclParser
    • org.tweetyproject.arg.deductive.parser.SimplePlLogicParser
    • org.tweetyproject.logics.fol.parser.TPTPParser
  • org.tweetyproject.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop (implements org.tweetyproject.commons.BeliefBaseMachineShop)
  • org.tweetyproject.logics.petri.syntax.PetriNet (implements org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.logics.petri.syntax.PetriNetNode (implements org.tweetyproject.graphs.Node)
    • org.tweetyproject.logics.petri.syntax.Place (implements java.lang.Comparable<T>)
    • org.tweetyproject.logics.petri.syntax.Transition
  • org.tweetyproject.sat.picosat.PicosatSatSolver (implements org.tweetyproject.sat.SatSolver)
  • org.tweetyproject.sat.test.PicosatTest
  • org.tweetyproject.web.services.Ping
  • org.tweetyproject.logics.pl.examples.PlExample
  • org.tweetyproject.logics.pl.syntax.PlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
    • org.tweetyproject.logics.pl.syntax.AssociativePlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, java.util.Collection<E>)
      • org.tweetyproject.logics.pl.syntax.Conjunction
      • org.tweetyproject.logics.pl.syntax.Disjunction
      • org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
    • org.tweetyproject.logics.pl.syntax.Equivalence
    • org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
    • org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
    • org.tweetyproject.logics.pl.syntax.Implication
    • org.tweetyproject.logics.translators.adfrevision.Indecision
    • org.tweetyproject.logics.pl.syntax.Negation
    • org.tweetyproject.logics.pl.syntax.Proposition (implements org.tweetyproject.logics.commons.syntax.interfaces.Atom, java.lang.Comparable<T>)
      • org.tweetyproject.action.query.syntax.QueryProposition
        • org.tweetyproject.action.query.syntax.AlwaysQuery
        • org.tweetyproject.action.query.syntax.HoldsQuery
        • org.tweetyproject.action.query.syntax.NecessarilyQuery
    • org.tweetyproject.logics.pl.syntax.SpecialFormula
      • org.tweetyproject.logics.pl.syntax.Contradiction
      • org.tweetyproject.logics.pl.syntax.Tautology
    • org.tweetyproject.logics.translators.adfrevision.WeakNegation
  • org.tweetyproject.commons.Plotter
    • org.tweetyproject.commons.PlotterMultiFrame
  • org.tweetyproject.logics.pl.parser.PlParserFactory
  • org.tweetyproject.logics.pl.test.PlParserTest
  • org.tweetyproject.plugin.PluginOutput
  • org.tweetyproject.lp.asp.analysis.PmInconsistencyMeasure (implements org.tweetyproject.logics.commons.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.logics.pl.examples.PmMeasureExample
  • org.tweetyproject.preferences.io.POChanger<T>
  • org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
  • org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver (implements org.tweetyproject.arg.adf.sat.IncrementalSatSolver)
  • org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder
  • org.tweetyproject.preferences.io.POParser (implements org.tweetyproject.preferences.io.POParserConstants)
  • org.tweetyproject.preferences.io.POParserTokenManager (implements org.tweetyproject.preferences.io.POParserConstants)
  • org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator
  • org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution
  • org.tweetyproject.logics.pl.analysis.PossibleWorldDistance (implements org.tweetyproject.commons.analysis.InterpretationDistance<T,B,S>)
    • org.tweetyproject.logics.pl.analysis.DalalDistance
  • org.tweetyproject.logics.pl.semantics.PossibleWorldIterator (implements org.tweetyproject.commons.InterpretationIterator<S,B,T>)
  • org.tweetyproject.web.services.Post
    • org.tweetyproject.web.services.incmes.InconsistencyPost
  • org.tweetyproject.commons.postulates.PostulateEvaluationReport<S>
  • org.tweetyproject.commons.postulates.PostulateEvaluator<T,U>
  • org.tweetyproject.preferences.io.POWriter<T>
  • org.tweetyproject.preferences.PreferenceOrder<T> (implements org.tweetyproject.preferences.BinaryRelation<T>)
  • org.tweetyproject.preferences.PreferencesIntegerBugExample
  • org.tweetyproject.arg.dung.analysis.PreferredCountInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.logics.translators.adfrevision.PreferredRevisionerADF
  • org.tweetyproject.arg.adf.reasoner.sat.verifier.PreferredVerifier (implements org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier)
  • org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator (implements org.tweetyproject.commons.InterpretationIterator<S,B,T>)
  • org.tweetyproject.logics.pl.analysis.PrimeImplicantEnumerator
    • org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator
  • org.tweetyproject.logics.pl.examples.PrimeImplicantTest
  • org.tweetyproject.arg.dung.principles.Principle (implements org.tweetyproject.commons.postulates.Postulate<S>)
    • org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple
    • org.tweetyproject.arg.dung.principles.AllowingAbstentionPrinciple
    • org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple
    • org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
    • org.tweetyproject.arg.dung.principles.DefencePrinciple
    • org.tweetyproject.arg.dung.principles.DirectionalityPrinciple
      • org.tweetyproject.arg.dung.principles.NonInterferencePrinciple
      • org.tweetyproject.arg.dung.principles.SemiDirectionalityPrinciple
      • org.tweetyproject.arg.dung.principles.WeakDirectionalityPrinciple
    • org.tweetyproject.arg.dung.principles.IMaximalityPrinciple
    • org.tweetyproject.arg.dung.principles.INRAPrinciple
    • org.tweetyproject.arg.dung.principles.ModularizationPrinciple
    • org.tweetyproject.arg.dung.principles.NaivetyPrinciple
    • org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple
    • org.tweetyproject.arg.dung.principles.ReinstatementPrinciple
    • org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple
    • org.tweetyproject.arg.dung.principles.SCOOCPrinciple
    • org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple
    • org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple
    • org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple
  • org.tweetyproject.arg.dung.examples.PrincipleExample
  • org.tweetyproject.math.norm.ProbabilisticAggregatingNorm (implements org.tweetyproject.math.norm.RealVectorNorm, java.io.Serializable)
  • org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator (implements org.tweetyproject.agents.sim.AgentGenerator<T,S>)
  • org.tweetyproject.math.norm.ProbabilisticPNorm (implements org.tweetyproject.math.norm.RealVectorNorm, java.io.Serializable)
  • org.tweetyproject.arg.rankings.examples.ProbabilisticRankingReasonerExample
  • org.tweetyproject.math.probability.ProbabilityFunction<T> (implements java.util.Map<K,V>)
    • org.tweetyproject.arg.prob.semantics.ProbabilisticExtension
    • org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction
  • org.tweetyproject.arg.dung.ProboTest
  • org.tweetyproject.arg.prob.ProbTester
  • org.tweetyproject.math.func.ProductAggregator (implements org.tweetyproject.math.func.AggregationFunction)
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
  • org.tweetyproject.logics.fol.test.Prover9Test
  • org.tweetyproject.logics.fol.writer.Prover9Writer (implements org.tweetyproject.logics.fol.writer.FolWriter)
  • org.tweetyproject.arg.dung.util.PrSigBasedDungTheoryGenerator (implements org.tweetyproject.arg.dung.util.DungTheoryGenerator)
  • org.tweetyproject.logics.qbf.examples.QbfExample
  • org.tweetyproject.logics.qbf.examples.QbfReasonersExample
  • org.tweetyproject.logics.qbf.reasoner.QbfSolver (implements org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester<T>)
    • org.tweetyproject.logics.qbf.reasoner.CadetSolver
    • org.tweetyproject.logics.qbf.reasoner.CaqeSolver
    • org.tweetyproject.logics.qbf.reasoner.GhostQSolver
    • org.tweetyproject.logics.qbf.reasoner.QuteSolver
  • org.tweetyproject.logics.qbf.test.QbfTest
  • org.tweetyproject.logics.qbf.test.QCIRTest
  • org.tweetyproject.logics.qbf.test.QDIMACSTest
  • org.tweetyproject.logics.qbf.writer.QdimacsWriter
  • org.tweetyproject.preferences.Quadruple<E,F,G,H>
  • org.tweetyproject.commons.QuadrupleSetSignature<T,S,U,R> (implements org.tweetyproject.commons.Signature)
    • org.tweetyproject.logics.fol.syntax.FolSignature
      • org.tweetyproject.action.signature.ActionSignature
  • org.tweetyproject.arg.dung.examples.QualifiedSemanticsReasonerExample
  • org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport<T>
  • org.tweetyproject.arg.aspic.util.RandomAspicArgumentationTheoryGenerator
  • org.tweetyproject.arg.adf.reasoner.sat.decomposer.RandomDecomposer
  • org.tweetyproject.arg.deductive.util.RandomDeductiveKnowledgeBaseGenerator (implements org.tweetyproject.commons.BeliefSetIterator<T,U>)
  • org.tweetyproject.beliefdynamics.kernels.RandomIncisionFunction<T> (implements org.tweetyproject.beliefdynamics.kernels.IncisionFunction<T>)
  • org.tweetyproject.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator (implements org.tweetyproject.agents.sim.AgentGenerator<T,S>)
  • org.tweetyproject.arg.rankings.postulates.RankingPostulate (implements org.tweetyproject.commons.postulates.Postulate<S>)
    • org.tweetyproject.arg.rankings.postulates.RaAbstraction
    • org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch
    • org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch
    • org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense
    • org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence
    • org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity
    • org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence
    • org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence
    • org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch
    • org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch
    • org.tweetyproject.arg.rankings.postulates.RaIndependence
    • org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence
    • org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence
    • org.tweetyproject.arg.rankings.postulates.RaSelfContradiction
    • org.tweetyproject.arg.rankings.postulates.RaSigmaCompatibility
    • org.tweetyproject.arg.rankings.postulates.RaSkeptSigmaCompatibility
    • org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
    • org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity
    • org.tweetyproject.arg.rankings.postulates.RaTotal
    • org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence
  • org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
  • org.tweetyproject.web.services.rankings.RankingReasonerCalleeFactory
  • org.tweetyproject.web.services.rankings.RankingReasonerPost
  • org.tweetyproject.arg.rankings.RankingReasonerTest
  • org.tweetyproject.arg.rankings.examples.RankingSemanticsExample
  • org.tweetyproject.arg.rankings.examples.RankingSemanticsExample2
  • org.tweetyproject.arg.rankings.RankingsTest
  • org.tweetyproject.arg.rankings.util.RankingTools
  • org.tweetyproject.logics.rcl.examples.RclExample
  • org.tweetyproject.logics.rdl.examples.RdlExample
  • org.tweetyproject.logics.rdl.test.RDLJUnitTest
  • org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph (implements org.tweetyproject.commons.BeliefBase, org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.arg.dung.util.Realizability
  • org.tweetyproject.logics.cl.examples.ReasonerExample
  • org.tweetyproject.arg.lp.semantics.attack.Rebut (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.arg.deductive.semantics.attacks.Rebuttal (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.arg.extended.examples.RecursiveExtendedTheoryExample
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding)
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding)
  • org.tweetyproject.logics.commons.syntax.RelationalFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula, org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula)
    • org.tweetyproject.logics.rdl.syntax.DefaultRule
    • org.tweetyproject.arg.delp.syntax.DelpRule (implements org.tweetyproject.commons.util.rules.Rule<C,P>)
      • org.tweetyproject.arg.delp.syntax.DefeasibleRule
      • org.tweetyproject.arg.delp.syntax.DelpFact
      • org.tweetyproject.arg.delp.syntax.StrictRule
    • org.tweetyproject.logics.fol.syntax.FolFormula
      • org.tweetyproject.logics.fol.syntax.AssociativeFolFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge)
        • org.tweetyproject.logics.fol.syntax.Conjunction
        • org.tweetyproject.logics.fol.syntax.Disjunction
        • org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
      • org.tweetyproject.logics.fol.syntax.Equivalence
      • org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
      • org.tweetyproject.logics.fol.syntax.FolAtom (implements org.tweetyproject.logics.commons.syntax.interfaces.Atom)
      • org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
      • org.tweetyproject.logics.fol.syntax.Implication
      • org.tweetyproject.logics.ml.syntax.MlFormula
        • org.tweetyproject.logics.ml.syntax.Necessity
        • org.tweetyproject.logics.ml.syntax.Possibility
      • org.tweetyproject.logics.fol.syntax.Negation
      • org.tweetyproject.lp.nlp.syntax.NLPNot
      • org.tweetyproject.logics.fol.syntax.SpecialFormula
        • org.tweetyproject.logics.fol.syntax.Contradiction
        • org.tweetyproject.logics.fol.syntax.Tautology
    • org.tweetyproject.logics.mln.syntax.MlnFormula
    • org.tweetyproject.logics.rcl.syntax.RelationalConditional (implements org.tweetyproject.commons.util.rules.Rule<C,P>)
      • org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
  • org.tweetyproject.logics.pcl.examples.RepairExample
  • org.tweetyproject.web.services.RequestController
  • org.tweetyproject.arg.dung.examples.ResolutionbasedSolverTest
  • org.tweetyproject.web.services.Response
    • org.tweetyproject.web.services.aba.AbaGetSemanticsResponse
    • org.tweetyproject.web.services.aba.AbaReasonerResponse
    • org.tweetyproject.web.services.adf.AdfReasonerResponse
    • org.tweetyproject.web.services.adf.AdfServicesInfoResponse
    • org.tweetyproject.web.services.bipolar.BipolarReasonerResponse
    • org.tweetyproject.web.services.bipolar.BipolarServicesInfoResponse
    • org.tweetyproject.web.services.delp.DeLPResponse
    • org.tweetyproject.web.services.dung.DungReasonerResponse
    • org.tweetyproject.web.services.dung.DungServicesInfoResponse
    • org.tweetyproject.web.services.iaf.IafReasonerResponse
    • org.tweetyproject.web.services.iaf.IafServicesInfoResponse
    • org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse
    • org.tweetyproject.web.services.incmes.InconsistencyValueResponse
    • org.tweetyproject.web.services.paf.PafReasonerResponse
    • org.tweetyproject.web.services.paf.PafServicesInfoResponse
    • org.tweetyproject.web.services.rankings.RankingReasonerResponse
    • org.tweetyproject.web.services.rankings.RankingServicesInfoResponse
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedBipolarSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding)
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedKBipolarSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding)
  • org.tweetyproject.arg.adf.reasoner.sat.processor.RestrictedKBipolarStateProcessor (implements org.tweetyproject.arg.adf.reasoner.sat.processor.StateProcessor)
  • org.tweetyproject.web.services.RestServiceCorsApplication
  • org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
  • org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter (implements java.awt.event.ActionListener, javax.swing.event.ChangeListener, java.awt.event.ItemListener)
  • org.tweetyproject.lp.asp.beliefdynamics.revision.RevisionTest
  • org.tweetyproject.arg.dung.learning.RiveretTheoryLearner
  • org.tweetyproject.math.opt.rootFinder.RootFinder
    • org.tweetyproject.math.opt.rootFinder.NewtonRootFinder
    • org.tweetyproject.math.opt.rootFinder.OptimizationRootFinder
      • org.tweetyproject.math.opt.rootFinder.BfgsRootFinder
      • org.tweetyproject.math.opt.rootFinder.GradientDescentRootFinder
      • org.tweetyproject.math.opt.rootFinder.HessianGradientDescentRootFinder
  • org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser (implements org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants)
  • org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager (implements org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants)
  • org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QuantitativeReasoner<B,F>)
  • org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample
  • org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample2
  • RpclMeReasonerExampleTest
  • org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser (implements org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants)
  • org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager (implements org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants)
  • org.tweetyproject.logics.cl.rules.RuleAdapter (implements org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner.Rule)
    • org.tweetyproject.logics.cl.rules.EvaluateRule
  • org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<T>
    • org.tweetyproject.arg.aspic.ruleformulagenerator.FolFormulaGenerator
    • org.tweetyproject.arg.aspic.ruleformulagenerator.PlFormulaGenerator
  • org.tweetyproject.logics.translators.adfpossibilistic.RunPossibilityDistribution
  • org.tweetyproject.action.query.syntax.SActionQuery (implements org.tweetyproject.action.query.syntax.ActionQuery)
  • org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester (implements org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester)
  • org.tweetyproject.arg.social.examples.SafExample
  • SafExample
  • org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy (implements org.tweetyproject.arg.adf.semantics.link.LinkStrategy)
  • org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder
  • org.tweetyproject.logics.pl.sat.SatSolver (implements org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester<T>, org.tweetyproject.logics.commons.analysis.ConsistencyWitnessProvider<B,S>)
    • org.tweetyproject.logics.pl.sat.DimacsSatSolver
      • org.tweetyproject.logics.pl.sat.CmdLineSatSolver
      • org.tweetyproject.logics.pl.sat.Sat4jSolver
    • org.tweetyproject.logics.pl.sat.MaxSatSolver
      • org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver
        • org.tweetyproject.logics.pl.sat.OpenWboSolver
    • org.tweetyproject.logics.pl.sat.SimpleDpllSolver
  • org.tweetyproject.logics.pl.examples.SatSolverExample
  • org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction (implements org.tweetyproject.beliefdynamics.selectiverevision.MultipleTransformationFunction<T>)
  • org.tweetyproject.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
  • org.tweetyproject.arg.dung.reasoner.SCF_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.preferences.aggregation.ScoringPreferenceAggregator<T> (implements org.tweetyproject.preferences.aggregation.PreferenceAggregator<T>)
    • org.tweetyproject.preferences.aggregation.BordaScoringPreferenceAggregator<T>
    • org.tweetyproject.preferences.aggregation.PluralityScoringPreferenceAggregator<T>
    • org.tweetyproject.preferences.aggregation.VetoScoringPreferenceAggregator<T>
  • org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest
  • org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation (implements org.tweetyproject.lp.asp.beliefdynamics.baserevision.ConsolidationOperator<T>)
  • org.tweetyproject.lp.asp.analysis.SdInconsistencyMeasure (implements org.tweetyproject.logics.commons.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.beliefdynamics.selectiverevision.SelectiveRevisionOperator<T> (implements org.tweetyproject.beliefdynamics.BaseRevisionOperator<T>)
  • org.tweetyproject.math.algebra.Semiring<T>
    • org.tweetyproject.math.algebra.BooleanSemiring
    • org.tweetyproject.math.algebra.BottleneckSemiring
    • org.tweetyproject.math.algebra.FuzzySemiring
    • org.tweetyproject.math.algebra.NonNumericSemiring
    • org.tweetyproject.math.algebra.ProbabilisticSemiring
    • org.tweetyproject.math.algebra.WeightedSemiring
  • org.tweetyproject.arg.explanations.examples.SequenceExplanationExample
  • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationPost
  • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationPost.GetSequenceExplanationsCmd (implements org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationPost.SequenceExplanationCmd)
  • org.tweetyproject.web.services.causal.SequenceExplanationReply
  • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationResponse
  • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationResponse.GetSequenceExplanationsResult (implements org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationResponse.SequenceExplanationResult)
  • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationService
  • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationService.SequenceExplanations
  • org.tweetyproject.arg.adf.reasoner.sat.execution.SequentialExecution (implements org.tweetyproject.arg.adf.reasoner.sat.execution.Execution)
  • org.tweetyproject.arg.rankings.examples.SerialisableRankingReasonerExample
  • org.tweetyproject.arg.dung.serialisability.util.SerialisationAnalysisPlotter
  • org.tweetyproject.arg.dung.equivalence.SerialisationEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph (implements org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.arg.dung.serialisability.sequence.SerialisationSequenceTest
  • org.tweetyproject.arg.dung.serialisability.semantics.SerialisationState (implements org.tweetyproject.graphs.Node)
  • org.tweetyproject.arg.dung.examples.SerialisedExtensionReasonerExample
  • org.tweetyproject.arg.setaf.examples.SetAfTheoryTest
  • SetAfTheoryTest
  • org.tweetyproject.arg.aspic.order.SetComparator<T> (implements java.util.Comparator<T>)
  • org.tweetyproject.commons.util.SetTools<E>
  • org.tweetyproject.commons.util.SetTrie<T>
  • org.tweetyproject.arg.dung.reasoner.SFR_GreedyKApproximationReasoner (implements org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner)
  • org.tweetyproject.logics.commons.analysis.ShapleyCulpabilityMeasure<S,T> (implements org.tweetyproject.logics.commons.analysis.CulpabilityMeasure<S,T>)
  • org.tweetyproject.commons.util.Shell
    • org.tweetyproject.commons.util.CygwinShell
    • org.tweetyproject.commons.util.NativeShell
  • org.tweetyproject.arg.deductive.accumulator.SimpleAccumulator (implements org.tweetyproject.arg.deductive.accumulator.Accumulator)
  • org.tweetyproject.arg.dung.learning.SimpleAFLearner (implements org.tweetyproject.arg.dung.learning.AFLearner)
  • org.tweetyproject.arg.aspic.semantics.SimpleAspicOrder<T> (implements java.util.Comparator<T>)
  • org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint (implements org.tweetyproject.arg.dung.learning.syntax.AttackConstraint<T>)
  • org.tweetyproject.arg.delp.parser.SimpleCharStream
  • org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
  • org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
  • org.tweetyproject.lp.asp.parser.SimpleCharStream
  • org.tweetyproject.preferences.io.SimpleCharStream
  • org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
  • org.tweetyproject.logics.pl.test.SimpleDpllSolverTest
  • org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics.FitnessComparator (implements java.util.Comparator<T>)
  • org.tweetyproject.math.examples.SimpleGeneticOptimizationSolverEx
  • org.tweetyproject.math.test.SimpleGeneticOptimizationSolverTest
  • org.tweetyproject.logics.pl.analysis.SimpleMinimalModelProvider (implements org.tweetyproject.logics.pl.analysis.MinimalModelProvider<A,B,C>)
  • org.tweetyproject.logics.pl.sat.SimpleModelEnumerator (implements org.tweetyproject.commons.ModelProvider<S,B,T>)
  • org.tweetyproject.graphs.SimpleNode (implements org.tweetyproject.graphs.Node)
  • org.tweetyproject.lp.asp.parser.SimpleNode (implements org.tweetyproject.lp.asp.parser.Node)
    • org.tweetyproject.lp.asp.parser.ASTAggregate
    • org.tweetyproject.lp.asp.parser.ASTAggrElement
    • org.tweetyproject.lp.asp.parser.ASTAggrElementList
    • org.tweetyproject.lp.asp.parser.ASTAggrFunc
    • org.tweetyproject.lp.asp.parser.ASTAnswerSet
    • org.tweetyproject.lp.asp.parser.ASTAriTerm
    • org.tweetyproject.lp.asp.parser.ASTArithop
    • org.tweetyproject.lp.asp.parser.ASTBinop
    • org.tweetyproject.lp.asp.parser.ASTBody
    • org.tweetyproject.lp.asp.parser.ASTBodyList
    • org.tweetyproject.lp.asp.parser.ASTBuiltInAtom
    • org.tweetyproject.lp.asp.parser.ASTChoice
    • org.tweetyproject.lp.asp.parser.ASTChoiceElement
    • org.tweetyproject.lp.asp.parser.ASTChoiceElementList
    • org.tweetyproject.lp.asp.parser.ASTClingoID
    • org.tweetyproject.lp.asp.parser.ASTClingoMeta
    • org.tweetyproject.lp.asp.parser.ASTDlvArithmeticID
    • org.tweetyproject.lp.asp.parser.ASTDlvID
    • org.tweetyproject.lp.asp.parser.ASTHead
    • org.tweetyproject.lp.asp.parser.ASTHeadElementsList
    • org.tweetyproject.lp.asp.parser.ASTID
    • org.tweetyproject.lp.asp.parser.ASTLiteral
    • org.tweetyproject.lp.asp.parser.ASTNAFLiteral
    • org.tweetyproject.lp.asp.parser.ASTNAFLiteralList
    • org.tweetyproject.lp.asp.parser.ASTNumber
    • org.tweetyproject.lp.asp.parser.ASTOpt
    • org.tweetyproject.lp.asp.parser.ASTOptElement
    • org.tweetyproject.lp.asp.parser.ASTOptElementList
    • org.tweetyproject.lp.asp.parser.ASTOptFunc
    • org.tweetyproject.lp.asp.parser.ASTProgram
    • org.tweetyproject.lp.asp.parser.ASTQuery
    • org.tweetyproject.lp.asp.parser.ASTRule
    • org.tweetyproject.lp.asp.parser.ASTRuleList
    • org.tweetyproject.lp.asp.parser.ASTString
    • org.tweetyproject.lp.asp.parser.ASTTerm
    • org.tweetyproject.lp.asp.parser.ASTTermList
    • org.tweetyproject.lp.asp.parser.ASTVar
    • org.tweetyproject.lp.asp.parser.ASTWeight
  • org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator (implements org.tweetyproject.logics.commons.analysis.InterpolantEnumerator<S>)
  • org.tweetyproject.logics.pl.examples.SimplePlInterpolantEnumeratorExample
  • org.tweetyproject.arg.deductive.examples.SimplePlLogicExample
  • org.tweetyproject.arg.deductive.syntax.SimplePlRule (implements org.tweetyproject.commons.util.rules.Rule<C,P>)
  • org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner (implements org.tweetyproject.commons.ModelProvider<S,B,T>, org.tweetyproject.commons.QualitativeReasoner<B,F>)
  • org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
  • org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter (implements java.awt.event.ActionListener, javax.swing.event.ChangeListener, java.awt.event.ItemListener)
  • org.tweetyproject.arg.weighted.reasoner.SimpleWeightedAdmissibleReasoner<T>
  • org.tweetyproject.arg.weighted.reasoner.SimpleWeightedCompleteReasoner<T>
  • org.tweetyproject.arg.weighted.reasoner.SimpleWeightedConflictFreeReasoner<T>
  • org.tweetyproject.arg.weighted.reasoner.SimpleWeightedGroundedReasoner<T>
  • org.tweetyproject.arg.weighted.reasoner.SimpleWeightedPreferredReasoner<T>
  • org.tweetyproject.arg.weighted.reasoner.SimpleWeightedStableReasoner<T>
  • org.tweetyproject.math.examples.SimulatedAnnealingOnConstrProbEx2
  • org.tweetyproject.agents.sim.SimulationResult<S,T,R>
  • org.tweetyproject.preferences.aggregation.SinglePeakWeightVector (implements org.tweetyproject.preferences.aggregation.WeightVector)
  • org.tweetyproject.commons.SingleSetSignature<T> (implements java.lang.Iterable<T>, org.tweetyproject.commons.Signature)
    • org.tweetyproject.arg.dung.syntax.DungSignature
    • org.tweetyproject.logics.pl.syntax.PlSignature
    • org.tweetyproject.arg.setaf.syntax.SetAfSignature
  • org.tweetyproject.preferences.aggregation.SingleValeWeightVector (implements org.tweetyproject.preferences.aggregation.WeightVector)
  • org.tweetyproject.math.func.SmoothingFunction (implements org.tweetyproject.math.func.BinaryFunction<T,S,R>)
  • org.tweetyproject.math.opt.solver.Solver
    • org.tweetyproject.math.opt.solver.ApacheCommonsCMAESOptimizer
    • org.tweetyproject.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
    • org.tweetyproject.math.opt.solver.ApacheCommonsSimplex
    • org.tweetyproject.math.opt.solver.BfgsSolver
    • org.tweetyproject.math.opt.solver.CombinatoricsSolver
      • org.tweetyproject.math.opt.solver.AntColonyOptimization
      • org.tweetyproject.math.opt.solver.IteratedLocalSearch
      • org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics
      • org.tweetyproject.math.opt.solver.SimulatedAnnealing
      • org.tweetyproject.math.opt.solver.StochasticLocalSearch
      • org.tweetyproject.math.opt.solver.TabuSearch
    • org.tweetyproject.math.opt.solver.GlpkSolver
    • org.tweetyproject.math.opt.solver.GradientDescent
    • org.tweetyproject.math.opt.solver.GurobiOptimizer
    • org.tweetyproject.math.opt.solver.HessianGradientDescent
    • org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb
    • org.tweetyproject.math.opt.solver.LagrangeSolver
    • org.tweetyproject.math.opt.solver.LpSolve
    • org.tweetyproject.math.opt.solver.OctaveSqpSolver
    • org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolver
    • org.tweetyproject.math.opt.solver.SimulatedAnnealingOnConstrProb
    • org.tweetyproject.math.opt.solver.StochasticLocalSearchOnConstrProb
    • org.tweetyproject.math.opt.solver.TabuSearchOnConstrProb
  • org.tweetyproject.logics.commons.syntax.Sort (implements org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure)
  • org.tweetyproject.logics.fol.test.SPASSTest
  • org.tweetyproject.logics.ml.SPASSTest
  • org.tweetyproject.logics.fol.writer.SPASSWriter
  • org.tweetyproject.logics.ml.writer.SPASSWriter
  • org.tweetyproject.arg.adf.reasoner.sat.verifier.StableVerifier (implements org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier)
  • org.tweetyproject.arg.dung.equivalence.StandardEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • org.tweetyproject.logics.fol.writer.StandardFolWriter (implements org.tweetyproject.logics.fol.writer.FolWriter)
  • org.tweetyproject.logics.fol.examples.StandardFolWriterExample
  • org.tweetyproject.action.transitionsystem.State
  • org.tweetyproject.math.examples.StochasticLocalSearchOnConstrProbEx
  • org.tweetyproject.arg.dung.examples.StratifiedLabelingExample
  • org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
  • org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
  • org.tweetyproject.arg.lp.semantics.attack.StrongAttack (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.arg.lp.semantics.attack.StrongConfidentAttack (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.arg.dung.equivalence.StrongEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
    • org.tweetyproject.arg.dung.equivalence.NormalExpansionEquivalence
  • org.tweetyproject.arg.dung.equivalence.StrongExpansionEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • org.tweetyproject.arg.lp.semantics.attack.StrongUndercut (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.causal.syntax.StructuralCausalModel (implements org.tweetyproject.commons.BeliefBase, java.util.Collection<E>)
  • org.tweetyproject.arg.prob.examples.SubgraphProbExample
  • org.tweetyproject.commons.util.SubsetIterator<T> (implements java.util.Iterator<E>)
    • org.tweetyproject.commons.util.DefaultSubsetIterator<T>
    • org.tweetyproject.commons.util.IncreasingSubsetIterator<T>
    • org.tweetyproject.commons.util.RandomSubsetIterator<T>
  • org.tweetyproject.commons.examples.SubsetIteratorExample
  • org.tweetyproject.arg.explanations.examples.SufficientExplanationExample
  • org.tweetyproject.math.func.SumAggregator (implements org.tweetyproject.math.func.AggregationFunction)
  • org.tweetyproject.machinelearning.svm.SupportVectorMachine (implements org.tweetyproject.machinelearning.Classifier)
  • org.tweetyproject.machinelearning.examples.SvmExample
  • org.tweetyproject.machinelearning.test.SVMTest
  • org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState (implements org.tweetyproject.arg.adf.sat.SatSolverState)
  • org.tweetyproject.logics.pl.util.SyntacticEnumeratingIterator (implements org.tweetyproject.commons.BeliefSetIterator<T,U>)
  • org.tweetyproject.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample
  • org.tweetyproject.arg.dung.equivalence.SyntacticEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • org.tweetyproject.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample
  • org.tweetyproject.math.examples.TabuSearchOnConstrProbEx
  • org.tweetyproject.math.func.fuzzy.TCoNorm (implements org.tweetyproject.math.func.BinaryFunction<T,S,R>)
    • org.tweetyproject.math.func.fuzzy.BoundedSum
    • org.tweetyproject.math.func.fuzzy.MaximumCoNorm
    • org.tweetyproject.math.func.fuzzy.ProbabilisticSum
  • org.tweetyproject.math.term.Term
    • org.tweetyproject.math.term.AssociativeOperation
      • org.tweetyproject.math.term.Maximum
      • org.tweetyproject.math.term.Minimum
      • org.tweetyproject.math.term.Product
      • org.tweetyproject.math.term.Sum
    • org.tweetyproject.math.term.Constant
      • org.tweetyproject.math.term.FloatConstant
      • org.tweetyproject.math.term.IntegerConstant
    • org.tweetyproject.math.term.Difference
    • org.tweetyproject.math.term.Fraction
    • org.tweetyproject.math.term.FunctionalTerm
      • org.tweetyproject.math.term.AbsoluteValue
      • org.tweetyproject.math.term.Exp
      • org.tweetyproject.math.term.Logarithm
      • org.tweetyproject.math.term.Power
      • org.tweetyproject.math.term.Root
    • org.tweetyproject.math.term.Variable
      • org.tweetyproject.math.term.BinaryVariable
      • org.tweetyproject.math.term.FloatVariable
      • org.tweetyproject.math.term.IntegerVariable
  • org.tweetyproject.logics.commons.syntax.TermAdapter<T> (implements org.tweetyproject.logics.commons.syntax.interfaces.Term<T>)
    • org.tweetyproject.lp.asp.syntax.ArithmeticTerm
    • org.tweetyproject.logics.commons.syntax.FunctionalTerm
    • org.tweetyproject.logics.commons.syntax.NumberTerm
    • org.tweetyproject.logics.commons.syntax.StringTerm
      • org.tweetyproject.logics.commons.syntax.Constant
        • org.tweetyproject.logics.dl.syntax.Individual
      • org.tweetyproject.logics.commons.syntax.Variable
  • org.tweetyproject.arg.delp.TestArguments
  • org.tweetyproject.logics.cl.test.TestConditionalStructure
  • org.tweetyproject.arg.delp.TestDeLP
  • org.tweetyproject.arg.delp.TestDTree
  • org.tweetyproject.arg.delp.TestFormulaParsing
  • org.tweetyproject.arg.delp.TestKBParsing
  • org.tweetyproject.logics.pl.test.TestNicePossibleWorld
  • org.tweetyproject.arg.delp.TestQueries
  • org.tweetyproject.arg.delp.TestRules
  • org.tweetyproject.math.examples.TestToQuadraticForm
  • org.tweetyproject.logics.pl.util.TextfileIterator (implements org.tweetyproject.commons.BeliefSetIterator<T,U>)
  • org.tweetyproject.arg.dung.parser.TgfFilenameFilter (implements java.io.FilenameFilter)
  • org.tweetyproject.arg.dung.learning.TheoryLearner
  • java.lang.Thread (implements java.lang.Runnable)
    • org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>
      • org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
      • org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess
      • org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<S>
        • org.tweetyproject.logics.pl.analysis.PlWindowInconsistencyMeasurementProcess
  • org.tweetyproject.arg.adf.util.ThreeValuedBitSet
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • org.tweetyproject.arg.delp.parser.TokenMgrError
      • org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
      • org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
      • org.tweetyproject.lp.asp.parser.TokenMgrError
      • org.tweetyproject.preferences.io.TokenMgrError
    • java.lang.Exception
      • org.tweetyproject.math.GeneralMathException
        • org.tweetyproject.math.NonDifferentiableException
      • org.tweetyproject.arg.delp.parser.ParseException
      • org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
      • org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
      • org.tweetyproject.lp.asp.parser.ParseException
      • org.tweetyproject.preferences.io.ParseException
      • org.tweetyproject.agents.ProtocolTerminatedException
      • java.lang.RuntimeException
        • org.tweetyproject.logics.commons.error.LanguageException
          • org.tweetyproject.lp.nlp.error.NestedLogicProgramException
          • org.tweetyproject.logics.pl.error.PlException
        • org.tweetyproject.commons.ParserException
        • org.tweetyproject.math.opt.problem.ProblemInconsistentException
        • org.tweetyproject.math.opt.ProblemInconsistentException
      • org.tweetyproject.lp.asp.reasoner.SolverException
      • org.tweetyproject.causal.syntax.StructuralCausalModel.CyclicDependencyException
  • org.tweetyproject.math.func.fuzzy.TNorm (implements org.tweetyproject.math.func.BinaryFunction<T,S,R>)
    • org.tweetyproject.math.func.fuzzy.LukasiewiczNorm
    • org.tweetyproject.math.func.fuzzy.MinimumNorm
    • org.tweetyproject.math.func.fuzzy.ProductNorm
  • org.tweetyproject.arg.delp.parser.Token (implements java.io.Serializable)
  • org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token (implements java.io.Serializable)
  • org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token (implements java.io.Serializable)
  • org.tweetyproject.lp.asp.parser.Token (implements java.io.Serializable)
  • org.tweetyproject.preferences.io.Token (implements java.io.Serializable)
  • org.tweetyproject.logics.fol.examples.TPTPParserExample
  • org.tweetyproject.logics.fol.test.TPTPTest
  • org.tweetyproject.logics.fol.writer.TPTPWriter (implements org.tweetyproject.logics.fol.writer.FolWriter)
  • org.tweetyproject.machinelearning.TrainingParameter
  • org.tweetyproject.action.transitionsystem.Transition
  • org.tweetyproject.action.transitionsystem.TransitionSystem
  • org.tweetyproject.logics.translators.folprop.TranslateTest
  • org.tweetyproject.logics.translators.Translator
    • org.tweetyproject.logics.translators.aspfol.AspFolTranslator
      • org.tweetyproject.logics.translators.aspnlp.AspNlpTranslator
    • org.tweetyproject.logics.translators.clnlp.ClNLPTranslator
    • org.tweetyproject.logics.translators.folprop.FOLPropTranslator
  • org.tweetyproject.math.examples.TravelingSalesman_solvedWithAntOpt
  • org.tweetyproject.math.examples.TravelingSalesman_solvedWithGeneticOpt
  • org.tweetyproject.math.examples.TravelingSalesman_solvedWithIteratedLocalSearch
  • org.tweetyproject.math.examples.TravelingSalesman_solvedWithSimAn
  • org.tweetyproject.math.examples.TravelingSalesman_solvedWithStochasticLocalSearch
  • org.tweetyproject.math.examples.TravelingSalesman_solvedWithTabuSearch
  • org.tweetyproject.math.examples.TravelingSalesmanEx2
  • org.tweetyproject.commons.util.Triple<E,F,G>
  • org.tweetyproject.commons.TripleSetSignature<T,S,U> (implements org.tweetyproject.commons.Signature)
    • org.tweetyproject.logics.dl.syntax.DlSignature
  • org.tweetyproject.arg.adf.transform.TseitinTransformer (implements org.tweetyproject.arg.adf.transform.Collector<U,D>, org.tweetyproject.arg.adf.transform.Transformer<R>)
  • org.tweetyproject.cli.TweetyCli
  • org.tweetyproject.web.TweetyServer
  • org.tweetyproject.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator (implements java.util.Iterator<E>)
  • org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding (implements org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding, org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding)
  • org.tweetyproject.logics.commons.syntax.TypedStructureAdapter (implements java.lang.Comparable<T>, org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure)
    • org.tweetyproject.logics.commons.syntax.Functor
    • org.tweetyproject.logics.commons.syntax.Predicate
      • org.tweetyproject.lp.asp.syntax.ASPOperator.ClingoPredicate
      • org.tweetyproject.lp.asp.syntax.ASPOperator.DLVPredicate
      • org.tweetyproject.logics.fol.syntax.EqualityPredicate
      • org.tweetyproject.action.signature.FolActionName
      • org.tweetyproject.action.signature.FolFluentName
      • org.tweetyproject.logics.fol.syntax.InequalityPredicate
      • org.tweetyproject.logics.pl.syntax.PlPredicate
  • org.tweetyproject.arg.deductive.semantics.attacks.Undercut (implements org.tweetyproject.arg.deductive.semantics.attacks.Attack)
  • org.tweetyproject.arg.lp.semantics.attack.Undercut (implements org.tweetyproject.arg.lp.semantics.attack.AttackStrategy)
  • org.tweetyproject.logics.bpm.analysis.UnfairnessEntropyMeasure (implements org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure)
  • org.tweetyproject.logics.bpm.analysis.UnfairnessMeasure (implements org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure)
  • org.tweetyproject.logics.bpm.analysis.UnlivenessMeasure (implements org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure)
  • org.tweetyproject.arg.dung.analysis.UnstableCountInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.preferences.update.Update<T>
  • org.tweetyproject.preferences.events.UpdatePrinter<T> (implements org.tweetyproject.preferences.events.UpdateListener<T>)
  • org.tweetyproject.preferences.update.UpdateStream<T>
  • org.tweetyproject.preferences.io.UPParser (implements org.tweetyproject.preferences.io.UPParserConstants)
  • org.tweetyproject.preferences.io.UPParserTokenManager (implements org.tweetyproject.preferences.io.UPParserConstants)
  • org.tweetyproject.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator (implements org.tweetyproject.agents.sim.AgentGenerator<T,S>)
  • org.tweetyproject.agents.dialogues.oppmodels.UtilityFunction<S,T>
    • org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction
  • org.tweetyproject.web.services.Utils
  • org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample
  • org.tweetyproject.action.grounding.VarConstNeqRequirement (implements org.tweetyproject.action.grounding.GroundingRequirement)
  • org.tweetyproject.logics.commons.test.VariableTest
  • org.tweetyproject.action.grounding.VarsNeqRequirement (implements org.tweetyproject.action.grounding.GroundingRequirement)
  • org.tweetyproject.commons.util.VectorTools
  • org.tweetyproject.arg.dung.equivalence.WeakExpansionEquivalence (implements org.tweetyproject.arg.dung.equivalence.Equivalence<T>)
  • org.tweetyproject.arg.dung.examples.WeakSemanticsExample
  • org.tweetyproject.arg.weighted.writer.WeightedApxWriter
  • org.tweetyproject.arg.dung.analysis.WeightedComponentCountInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.dung.analysis.WeightedCycleCountInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.weighted.examples.WeightedDungTheoryGeneratorExample
  • org.tweetyproject.arg.dung.analysis.WeightedInSumInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.dung.analysis.WeightedOutSumInconsistencyMeasure<T> (implements org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>)
  • org.tweetyproject.arg.weighted.examples.WeightedReasonerExample
  • org.tweetyproject.arg.weighted.util.WeightedSemiringDungTheoryGenerator<T>
  • org.tweetyproject.commons.Writer
    • org.tweetyproject.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
    • org.tweetyproject.logics.rpcl.writers.DefaultProbabilityDistributionWriter
    • org.tweetyproject.logics.ml.writer.MlWriter
    • org.tweetyproject.logics.pl.writer.PlWriter

Interface Hierarchy

• org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
• org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
• org.tweetyproject.arg.deductive.accumulator.Accumulator
• org.tweetyproject.machinelearning.rl.mdp.Action
• org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester
• org.tweetyproject.arg.dung.learning.AFLearner
• org.tweetyproject.agents.sim.AgentGenerator<T,S>
• org.tweetyproject.lp.asp.parser.ASPCore2Constants
• org.tweetyproject.lp.asp.parser.ASPParserConstants
• org.tweetyproject.lp.asp.parser.ASPParserTreeConstants
• org.tweetyproject.lp.asp.parser.ASPParserVisitor
• org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
• org.tweetyproject.arg.deductive.semantics.attacks.Attack
• org.tweetyproject.arg.dung.learning.syntax.AttackConstraint<T>
• org.tweetyproject.arg.lp.semantics.attack.AttackStrategy
• java.lang.AutoCloseable
  • org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
  • org.tweetyproject.arg.adf.reasoner.sat.execution.Execution
  • org.tweetyproject.arg.adf.sat.IndexedSatSolverState
  • org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor
  • org.tweetyproject.sat.SatSolver
  • org.tweetyproject.arg.adf.sat.SatSolverState
  • org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier
• org.tweetyproject.beliefdynamics.BaseContractionOperator<T>
• org.tweetyproject.beliefdynamics.BaseExpansionOperator<T>
• org.tweetyproject.beliefdynamics.BaseRevisionOperator<T>
• org.tweetyproject.commons.BeliefBase
  • org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>
    • org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework (also extends java.util.Collection<E>, org.tweetyproject.graphs.Graph<T>)
  • org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram<C,P,T>
• org.tweetyproject.commons.BeliefBaseMachineShop
• org.tweetyproject.math.func.BinaryFunction<T,S,R>
• org.tweetyproject.arg.deductive.categorizer.Categorizer
• org.tweetyproject.machinelearning.Category
• org.tweetyproject.arg.prob.dynamics.ChangeOperator
• org.tweetyproject.machinelearning.Classifier
• java.lang.Cloneable
  • org.tweetyproject.commons.Signature
• org.tweetyproject.arg.adf.transform.Collector<U,D>
• org.tweetyproject.logics.mln.analysis.CompatibilityMeasure
• org.tweetyproject.logics.commons.analysis.ConsistencyTester<T>
  • org.tweetyproject.action.description.analysis.ActionDescriptionConsistencyTester<T>
  • org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester<T>
    • org.tweetyproject.logics.commons.analysis.MusEnumerator<S>
• org.tweetyproject.logics.commons.analysis.ConsistencyWitnessProvider<B,S>
• org.tweetyproject.lp.asp.beliefdynamics.baserevision.ConsolidationOperator<T>
• org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision.AnswersetProcessing
• org.tweetyproject.logics.commons.analysis.CulpabilityMeasure<S,T>
  • org.tweetyproject.logics.pcl.analysis.SignedCulpabilityMeasure
• org.tweetyproject.arg.adf.reasoner.sat.decomposer.Decomposer
• org.tweetyproject.arg.delp.parser.DelpParserConstants
• org.tweetyproject.preferences.aggregation.DynamicPreferenceAggregator<T>
• org.tweetyproject.agents.Environment
• org.tweetyproject.arg.dung.equivalence.Equivalence<T>
• java.util.EventListener
  • org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener
  • org.tweetyproject.preferences.events.UpdateListener<T>
• org.tweetyproject.agents.Executable
• org.tweetyproject.logics.fol.writer.FolWriter
• org.tweetyproject.commons.Formula
  • org.tweetyproject.action.query.syntax.ActionQuery
  • org.tweetyproject.action.description.syntax.CausalLaw
  • org.tweetyproject.arg.dung.syntax.DungEntity
  • org.tweetyproject.commons.util.rules.Rule<C,P>
  • org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
    • org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T> (also extends java.util.List<E>)
    • org.tweetyproject.logics.commons.syntax.interfaces.Atom
    • org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure)
      • org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
    • org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable
      • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Invertable, org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
    • org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable
      • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Invertable, org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
    • org.tweetyproject.logics.commons.syntax.interfaces.Invertable
      • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable, org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
• org.tweetyproject.machinelearning.assoc.FrequentPatternMiner<T>
  • org.tweetyproject.machinelearning.assoc.AssociationRuleMiner<T>
• org.tweetyproject.action.grounding.GroundingRequirement
• org.tweetyproject.beliefdynamics.kernels.IncisionFunction<T>
• org.tweetyproject.arg.dung.analysis.InconsistencyMeasure<T>
• org.tweetyproject.logics.commons.analysis.InconsistencyMeasure<T>
  • org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure
• org.tweetyproject.arg.adf.sat.IncrementalSatSolver
• org.tweetyproject.logics.commons.analysis.InterpolantEnumerator<S>
• org.tweetyproject.commons.Interpretation<B,S>
  • org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
• org.tweetyproject.commons.analysis.InterpretationDistance<T,B,S>
• java.lang.Iterable<T>
  • org.tweetyproject.arg.adf.syntax.pl.Clause
  • java.util.Collection<E>
    • org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework (also extends org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>, org.tweetyproject.graphs.Graph<T>)
    • java.util.List<E>
      • org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T> (also extends org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
    • java.util.Set<E>
      • org.tweetyproject.preferences.BinaryRelation<T>
      • org.tweetyproject.math.NumberSet<S>
  • org.tweetyproject.graphs.GeneralGraph<T>
    • org.tweetyproject.graphs.DirHyperGraph<T>
    • org.tweetyproject.graphs.Graph<T>
      • org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework (also extends org.tweetyproject.arg.dung.syntax.ArgumentationFramework<Arg>, java.util.Collection<E>)
• java.util.Iterator<E>
  • org.tweetyproject.commons.BeliefSetIterator<T,U>
    • org.tweetyproject.arg.dung.util.DungTheoryGenerator
  • org.tweetyproject.commons.streams.FormulaStream<S>
  • org.tweetyproject.commons.InterpretationIterator<S,B,T>
• org.tweetyproject.logics.cl.kappa.KappaTerm
• org.tweetyproject.commons.KernelProvider<T>
• org.tweetyproject.arg.adf.semantics.link.Link
• org.tweetyproject.arg.adf.semantics.link.LinkStrategy
• org.tweetyproject.arg.adf.syntax.pl.Literal
• org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure
  • org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
    • org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
  • org.tweetyproject.logics.commons.syntax.interfaces.Term<T>
• org.tweetyproject.logics.pl.analysis.MinimalModelProvider<A,B,C>
• org.tweetyproject.commons.ModelProvider<S,B,T>
• org.tweetyproject.agents.sim.MultiAgentSystemGenerator<T,S>
• org.tweetyproject.beliefdynamics.selectiverevision.MultipleTransformationFunction<T>
• org.tweetyproject.graphs.Node
• org.tweetyproject.lp.asp.parser.Node
• org.tweetyproject.math.norm.Norm<T>
  • org.tweetyproject.math.norm.RealVectorNorm
• org.tweetyproject.machinelearning.Observation
• org.tweetyproject.arg.prob.semantics.PASemantics
• org.tweetyproject.agents.Perceivable
• net.xeoh.plugins.base.Plugin
  • org.tweetyproject.plugin.TweetyPlugin
• org.tweetyproject.machinelearning.rl.mdp.Policy<S,A>
• org.tweetyproject.machinelearning.rl.mdp.algorithms.PolicyEvaluation<S,A>
• org.tweetyproject.preferences.io.POParserConstants
• org.tweetyproject.commons.postulates.Postulate<S>
• org.tweetyproject.commons.postulates.PostulateEvaluatable<S>
• org.tweetyproject.preferences.aggregation.PreferenceAggregator<T>
• org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware
  • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Invertable)
• org.tweetyproject.arg.adf.transform.processor.Processor<I,O>
• org.tweetyproject.agents.Protocol
  • org.tweetyproject.agents.sim.GameProtocol
• org.tweetyproject.agents.sim.ProtocolGenerator<T,S,R>
• org.tweetyproject.agents.ProtocolListener
• org.tweetyproject.arg.adf.reasoner.query.Query<T>
• org.tweetyproject.commons.Reasoner<O,B,F>
  • org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner
  • org.tweetyproject.commons.QualitativeReasoner<B,F>
  • org.tweetyproject.commons.QuantitativeReasoner<B,F>
• org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding
• org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter.FileHandler
• org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
• org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
• org.tweetyproject.logics.rpcl.semantics.RpclSemantics
• org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner.Rule
• org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding
• org.tweetyproject.arg.dung.serialisability.syntax.SelectionFunction
• org.tweetyproject.lp.asp.beliefdynamics.baserevision.SelectionFunction<T>
• org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
• org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
• org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationPost.SequenceExplanationCmd
• org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationResponse.SequenceExplanationResult
• java.io.Serializable
  • org.tweetyproject.math.func.AggregationFunction (also extends org.tweetyproject.math.func.SimpleFunction<T,S>)
• org.tweetyproject.math.func.SimpleFunction<T,S>
  • org.tweetyproject.math.func.AggregationFunction (also extends java.io.Serializable)
  • org.tweetyproject.math.func.SimpleRealValuedFunction
• org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
• org.tweetyproject.machinelearning.rl.mdp.State
• org.tweetyproject.arg.adf.reasoner.sat.processor.StateProcessor
• org.tweetyproject.arg.adf.reasoner.query.TaskStep
  • org.tweetyproject.arg.adf.reasoner.query.ConditionalTaskStep
  • org.tweetyproject.arg.adf.reasoner.query.ConditionlessTaskStep
• org.tweetyproject.arg.dung.serialisability.syntax.TerminationFunction
• org.tweetyproject.machinelearning.Trainer<S,T>
• org.tweetyproject.beliefdynamics.selectiverevision.TransformationFunction<T>
• org.tweetyproject.arg.adf.transform.Transformer<R>
• org.tweetyproject.commons.TweetyConfiguration
• org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
• org.tweetyproject.preferences.io.UPParserConstants
• org.tweetyproject.agents.dialogues.structured.UtilityFunction
• org.tweetyproject.arg.adf.syntax.acc.Visitor<U,D>
• org.tweetyproject.graphs.WeightedEdge<S,T>
• org.tweetyproject.preferences.aggregation.WeightVector

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command
    • org.tweetyproject.web.services.adf.AdfReasonerCalleeFactory.Command
    • org.tweetyproject.arg.dung.semantics.ArgumentStatus
    • org.tweetyproject.logics.petri.syntax.Ark.Direction
    • org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
    • org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
    • org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator
    • org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction
    • org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
    • org.tweetyproject.web.services.bipolar.BipolarReasonerCalleeFactory.Command
    • org.tweetyproject.web.services.bipolar.BipolarSemantics
    • org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType
    • org.tweetyproject.arg.caf.semantics.CAFSemantics
    • org.tweetyproject.web.services.causal.CausalReasonerPost.Cmd
    • org.tweetyproject.web.services.causal.CausalReasonerResponse.Status
    • org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory
    • org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result
    • org.tweetyproject.logics.cl.semantics.ConditionalStructure.Generator
    • org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition (implements org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition)
    • org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver
    • org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator.DegreeType
    • org.tweetyproject.arg.delp.semantics.DelpAnswer.Type
    • org.tweetyproject.arg.delp.semantics.DialecticalTree.Mark
    • org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command
    • org.tweetyproject.arg.eaf.semantics.EAFSemantics
    • org.tweetyproject.logics.bpm.syntax.EventType
    • org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics
    • org.tweetyproject.arg.dung.parser.FileFormat
    • org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue
    • org.tweetyproject.logics.bpm.syntax.GatewayType
    • org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics
    • org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
    • org.tweetyproject.web.services.iaf.IafReasonerCalleeFactory.Command
    • org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
    • org.tweetyproject.arg.dung.reasoner.IncompleteReasoner.Type
    • org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
    • org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult.Status
    • org.tweetyproject.commons.InferenceMode
    • org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
    • org.tweetyproject.arg.adf.semantics.link.LinkType
    • org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement
    • org.tweetyproject.comparator.NumericalPartialOrder.SortingType
    • org.tweetyproject.preferences.Operation
    • org.tweetyproject.web.services.paf.PafReasonerCalleeFactory.Command
    • org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
    • org.tweetyproject.logics.pl.parser.PlParserFactory.Format
    • org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue
    • org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue
    • org.tweetyproject.arg.dung.reasoner.ProboProblem
    • org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
    • org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
    • org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
    • org.tweetyproject.web.services.rankings.RankingReasonerCalleeFactory.Command
    • org.tweetyproject.arg.rankings.semantics.RankingSemantics
    • org.tweetyproject.preferences.Relation
    • org.tweetyproject.arg.bipolar.semantics.Semantics
    • org.tweetyproject.arg.dung.semantics.Semantics
    • org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationResponse.Status
    • org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial
    • org.tweetyproject.arg.bipolar.syntax.Support.Type
    • org.tweetyproject.logics.bpm.syntax.TaskType
    • org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition (implements org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition)
    • org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue
    • org.tweetyproject.commons.TweetyConfiguration.LogLevel