A B C D E F G H I J K L M N O P Q R S T U V W X Z _

Q

q - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

Quadruple<E,F,G,H> - Class in net.sf.tweety.preferences

This class implements a simple quadruple of elements.

Quadruple(E, F, G, H) - Constructor for class net.sf.tweety.preferences.Quadruple

Initializes the elements of this quadruple with given parameters

Quadruple() - Constructor for class net.sf.tweety.preferences.Quadruple

Initializes an empty quadruple

qualitativeEquals(ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional

Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.

QualitativeReasoner<B extends BeliefBase,F extends Formula> - Interface in net.sf.tweety.commons

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

QuantifiedFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces

Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.

QuantifiedFormulaSupport<T extends RelationalFormula> - Class in net.sf.tweety.logics.commons.syntax

This class provides common functionalities for quantified formulas, i.e.

QuantifiedFormulaSupport(T, Set<Variable>) - Constructor for class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport

quantifier_variables - Variable in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport

The variables of this quantified folFormula.

QuantitativeReasoner<B extends BeliefBase,F extends Formula> - Interface in net.sf.tweety.commons

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

query(ABATheory<T>, Assumption<T>, int) - Method in class net.sf.tweety.arg.aba.reasoner.FlatABAReasoner

query(ABATheory<T>, Assumption<T>) - Method in class net.sf.tweety.arg.aba.reasoner.GeneralABAReasoner

query(ABATheory<T>, Assumption<T>, int) - Method in class net.sf.tweety.arg.aba.reasoner.GeneralABAReasoner

Queries the given ABA theory for the given assumption using the given inference type.

query(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner

query(AspicArgumentationTheory<T>, T, int) - Method in class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner

Queries the given AspicArgumentationTheory for the given formula using the given inference type.

query(DeductiveKnowledgeBase, PropositionalFormula) - Method in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

query(DefeasibleLogicProgram, FolFormula) - Method in class net.sf.tweety.arg.delp.reasoner.DelpReasoner

query - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions

query(String, String) - Method in class net.sf.tweety.arg.delp.TestQueries

query(DefeasibleLogicProgram, FolFormula) - Method in class net.sf.tweety.arg.delp.TestQueries

query(DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

query(DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

query(DungTheory, Argument, int) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

Queries the given AAF for the given argument using the given inference type.

query(DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.reasoner.GrossiModgilRankingReasoner

query(DungTheory, Argument, int) - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner

query(DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

query(DungTheory, Argument, int) - Method in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

Queries the given AAF for the given argument using the given inference type.

query(ArgumentationKnowledgeBase, Argument) - Method in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner

query(ArgumentationKnowledgeBase, DLPLiteral) - Method in class net.sf.tweety.arg.lp.reasoner.LiteralReasoner

query(ProbabilisticArgumentationFramework, Argument) - Method in class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner

query(ProbabilisticArgumentationFramework, Argument, int) - Method in class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner

Queries the given PAF for the given argument using the given inference type.

query(ProbabilisticArgumentationFramework, Extension) - Method in class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner

Estimates the probability that the given set of arguments is an extension

query(ProbabilisticArgumentationFramework, Extension) - Method in class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner

query(ProbabilisticArgumentationFramework, Argument, int) - Method in class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner

query(ProbabilisticArgumentationFramework, Extension) - Method in class net.sf.tweety.arg.prob.reasoner.NaivePafReasoner

Estimates the probability that the given set of arguments is an extension

query(ProbabilisticArgumentationFramework, Argument, int) - Method in class net.sf.tweety.arg.prob.reasoner.NaivePafReasoner

query(StructuredArgumentationFramework, Proposition) - Method in class net.sf.tweety.arg.saf.reasoner.OutputReasoner

query(SocialAbstractArgumentationFramework, Argument) - Method in class net.sf.tweety.arg.social.reasoner.IssReasoner

query - Static variable in class net.sf.tweety.cli.TweetyCli

The query

query(B, F) - Method in interface net.sf.tweety.commons.QualitativeReasoner

query(B, F) - Method in interface net.sf.tweety.commons.Reasoner

Queries the given belief base for the given formula.

query(ClBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.FolReasoner

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.NaiveFolReasoner

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

query(ModalBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner

query(ModalBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner

query(ModalBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.ml.reasoner.NaiveModalReasoner

query(ModalBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner

query(MarkovLogicNetwork, FolFormula) - Method in class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

query(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

Queries the given MLN wrt.

query(PclBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner

query(PclBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner

query(PclBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner

query(PlBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.reasoner.AbstractPropositionalLogicReasoner

query(PropositionalFormula, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.reasoner.AbstractPropositionalLogicReasoner

Checks whether the first formula entails the second.

query(PlBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.reasoner.NaiveReasoner

query(PlBeliefSet, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.reasoner.SatReasoner

query(RclBeliefSet, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.rcl.reasoner.RelationalBruteForceCReasoner

Queries the given belief set wrt.

query(RclBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.rcl.reasoner.RelationalBruteForceCReasoner

query(DefaultTheory, FolFormula) - Method in class net.sf.tweety.logics.rdl.reasoner.NaiveDefaultReasoner

query - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

query(RpclBeliefSet, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner

Queries the knowledge base wrt.

query(RpclBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner

queryBatch() - Method in class net.sf.tweety.arg.delp.TestDeLP

queryProof(FolBeliefSet, Formula) - Method in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Determines the answer wrt.

queryProof(ModalBeliefSet, Formula) - Method in class net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner

Determines the answer wrt.

QueryProposition - Class in net.sf.tweety.action.query.syntax

Action queries are represented as propositional formulas with three possible types of propositions: holds, always and necessarily propositions.

QueryProposition(FolFormula, String) - Constructor for class net.sf.tweety.action.query.syntax.QueryProposition

Creates a new query proposition with the given formula and a unique name, which is used by the base class.

queryResult - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

QUOTED - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants

RegularExpression Id.

quoted() - Method in class net.sf.tweety.arg.delp.TestQueries

A B C D E F G H I J K L M N O P Q R S T U V W X Z _