Q-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

Q

QbfExample - Class in org.tweetyproject.logics.qbf.examples: Some general examples for quantified boolean formulas and for parsers and writers.
QbfExample() - Constructor for class org.tweetyproject.logics.qbf.examples.QbfExample: Default
QbfParser - Class in org.tweetyproject.logics.qbf.parser: This class implements a parser for quantified boolean formulas.
QbfParser() - Constructor for class org.tweetyproject.logics.qbf.parser.QbfParser: Default
QbfReasonersExample - Class in org.tweetyproject.logics.qbf.examples: Examples for using QBF solvers.
QbfReasonersExample() - Constructor for class org.tweetyproject.logics.qbf.examples.QbfReasonersExample: Default
QbfSolver - Class in org.tweetyproject.logics.qbf.reasoner: Abstract QBF sat solver to be implemented by concrete solvers.
QbfSolver() - Constructor for class org.tweetyproject.logics.qbf.reasoner.QbfSolver: Default
QbfTest - Class in org.tweetyproject.logics.qbf.test: Test class for basic qbf functionalities.
QbfTest() - Constructor for class org.tweetyproject.logics.qbf.test.QbfTest
QbPossibleWorld - Class in org.tweetyproject.logics.qbf.semantics: This class represents a possible world of quantified boolean logic, i.e.
QbPossibleWorld() - Constructor for class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld: Creates a new empty possible world.
QbPossibleWorld(Collection<? extends Proposition>) - Constructor for class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld: Creates a new possible world with the given set of propositions.
QCirParser - Class in org.tweetyproject.logics.qbf.parser: This class implements a parser for the QCIR (Quantified CIRcuit) format.
QCirParser() - Constructor for class org.tweetyproject.logics.qbf.parser.QCirParser: Default
QCIRTest - Class in org.tweetyproject.logics.qbf.test: Test class for parsing QCIR files.
QCIRTest() - Constructor for class org.tweetyproject.logics.qbf.test.QCIRTest
QdimacsParser - Class in org.tweetyproject.logics.qbf.parser: This class implements a parser for the QDIMACS input format.
QdimacsParser() - Constructor for class org.tweetyproject.logics.qbf.parser.QdimacsParser: Default
QdimacsParser.Answer - Enum in org.tweetyproject.logics.qbf.parser: Possible answers that solvers can find for a given QDIMACS problem.
QDIMACSTest - Class in org.tweetyproject.logics.qbf.test: Test class for parsing QDIMACS files.
QDIMACSTest() - Constructor for class org.tweetyproject.logics.qbf.test.QDIMACSTest
QdimacsWriter - Class in org.tweetyproject.logics.qbf.writer: Converts belief bases to QDIMACS format and prints them.
QdimacsWriter() - Constructor for class org.tweetyproject.logics.qbf.writer.QdimacsWriter: Creates a new QDIMACS writer.
QdimacsWriter(Writer) - Constructor for class org.tweetyproject.logics.qbf.writer.QdimacsWriter: Creates a new QDIMACS writer.
Quadruple<E,F,G,H> - Class in org.tweetyproject.preferences: This class implements a simple quadruple of elements.
Quadruple() - Constructor for class org.tweetyproject.preferences.Quadruple: Initializes an empty quadruple
Quadruple(E, F, G, H) - Constructor for class org.tweetyproject.preferences.Quadruple: Initializes the elements of this quadruple with given parameters
QuadrupleSetSignature<T,S,U,R> - Class in org.tweetyproject.commons: This class models a signature as four sets of formulas.
QuadrupleSetSignature() - Constructor for class org.tweetyproject.commons.QuadrupleSetSignature: Creates a new empty signature.
QualifiedReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for qualified sigma-semantics.
QualifiedReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.reasoner.QualifiedReasoner: initialize reasoner with the given reasoner as base reasoner Will only produce meaningful results if the given semantics is SCC-decomposable
QualifiedReasoner(Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.QualifiedReasoner: initialize reasoner with the given semantics as base function.
QualifiedSemanticsReasonerExample - Class in org.tweetyproject.arg.dung.examples: Example on how to use the qualified and semi-qualified semantics reasoners.
QualifiedSemanticsReasonerExample() - Constructor for class org.tweetyproject.arg.dung.examples.QualifiedSemanticsReasonerExample
qualitativeEquals(ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional: Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.
QualitativeReasoner<B,F> - Interface in org.tweetyproject.commons: This interface represents a general contract for qualitative reasoners, which are objects that can query a belief base with a specific formula and return a boolean result (`TRUE` or `FALSE`) based on the reasoning process.
quality - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Strategy based on the quality of arguments.
quality(DungTheory, LatticePartialOrder<Argument, DungTheory>) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: ranks arguments according to a given ranking.
qualityFirst - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Strategy that prioritizes quality over cardinality.
qualityFirst(DungTheory, LatticePartialOrder<Argument, DungTheory>) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: ranks arguments according to the quality function.
QUALITYPRECEDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The QUALITYPRECEDENCE postulate
QuantifiedFormula - Interface in org.tweetyproject.logics.commons.syntax.interfaces: Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.
QuantifiedFormulaSupport<T> - Class in org.tweetyproject.logics.commons.syntax: This class provides common functionalities for quantified formulas, i.e.
QuantifiedFormulaSupport(T, Set<Variable>) - Constructor for class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Constructs a new QuantifiedFormulaSupport instance with the specified formula and quantifier variables.
QuantitativeReasoner<B,F> - Interface in org.tweetyproject.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() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework: Initiates a query on this AbstractDialecticalFramework using the default configuration.
query(B, F) - Method in interface org.tweetyproject.commons.QualitativeReasoner: Queries the given belief base with the provided formula and returns a boolean result.
query(B, F) - Method in interface org.tweetyproject.commons.Reasoner: Queries the given belief base for the given formula.
query(String) - Method in class org.tweetyproject.web.services.delp.DeLPPost: Sets the query string in the DeLP request.
query(String) - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Sets the query string in the DeLP response.
query(Set<BArgument>) - Method in interface org.tweetyproject.arg.bipolar.analysis.Analysis: Creates an AnalysisResult to store the results of the analysis
query(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.analysis.ApproxAnalysis: Computes approximately what is probabilistic justification of the given set of arguments in the PEAF given error level
query(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis: Computes approximately what is probabilistic justification of the given set of arguments in the PEAF given error level concurrently.
query(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis: Computes exactly what is probabilistic justification of the given set of arguments in the PEAF.
query(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.analysis.ExactAnalysis: Computes exactly what is probabilistic justification of the given set of arguments in the PEAF.
query(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.analysis.extensions.AbstractExtensionAnalysis
query(AbaTheory<T>, Assumption<T>) - Method in class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner
query(AbaTheory<T>, Assumption<T>, InferenceMode) - Method in class org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner
query(AbaTheory<T>, Assumption<T>, InferenceMode) - Method in class org.tweetyproject.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 org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner
query(AspicArgumentationTheory<T>, T, InferenceMode) - Method in class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner: Queries the given AspicArgumentationTheory for the given formula using the given inference type.
query(DeductiveKnowledgeBase, PlFormula) - Method in class org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
query(DefeasibleLogicProgram, FolFormula) - Method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner
query(ClaimBasedTheory, ClaimArgument) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.GCF_GreedyKApproximationReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.GFR_GreedyKApproximationReasoner
query(DungTheory, Argument) - Method in interface org.tweetyproject.arg.dung.reasoner.KOptimisationReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.MaxSatKStableReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.SCF_GreedyKApproximationReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.SFR_GreedyKApproximationReasoner
query(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
query(DungTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner: Queries the given AAF for the given argument using the given inference type.
query(DungTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
query(DungTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.dung.reasoner.ProboReasoner
query(DungTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner
query(DungTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner: Queries the given AAF for the given argument using the given inference type.
query(DungTheory, T, InferenceMode) - Method in class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner
query(ExtendedTheory, Argument) - Method in class org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner
query(ExtendedTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner: Queries the given AAF for the given argument using the given inference type.
query(RecursiveExtendedTheory, Argument) - Method in class org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner: Queries the given belief base with a specified argument, using the default inference mode of skeptical reasoning.
query(RecursiveExtendedTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner: Queries the given AAF for the given argument using the given inference type.
query(ArgumentationKnowledgeBase, Argument) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
query(ArgumentationKnowledgeBase, ASPLiteral) - Method in class org.tweetyproject.arg.lp.reasoner.LiteralReasoner: Evaluates a query against the given argumentation knowledge base to determine if the query is justified based on the arguments in the knowledge base.
query(ProbabilisticArgumentationFramework, Extension) - Method in class org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner: Estimates the probability that the given set of arguments is an extension
query(ProbabilisticArgumentationFramework, Extension) - Method in class org.tweetyproject.arg.prob.reasoner.MonteCarloPafReasoner
query(ProbabilisticArgumentationFramework, Extension) - Method in class org.tweetyproject.arg.prob.reasoner.SimplePafReasoner: Estimates the probability that the given set of arguments is an extension
query(ProbabilisticArgumentationFramework, Argument) - Method in class org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner
query(ProbabilisticArgumentationFramework, Argument, InferenceMode) - Method in class org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner: Queries the given PAF for the given argument using the given inference type.
query(ProbabilisticArgumentationFramework, Argument, InferenceMode) - Method in class org.tweetyproject.arg.prob.reasoner.MonteCarloPafReasoner
query(ProbabilisticArgumentationFramework, Argument, InferenceMode) - Method in class org.tweetyproject.arg.prob.reasoner.SimplePafReasoner
query(StructuredArgumentationFramework, Proposition) - Method in class org.tweetyproject.arg.saf.reasoner.OutputReasoner
query(SetAf, Argument) - Method in class org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner
query(SetAf, Argument) - Method in class org.tweetyproject.arg.setaf.reasoners.AbstractSetAfReasoner
query(SetAf, Argument, InferenceMode) - Method in class org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner: Queries the given AAF for the given argument using the given inference type.
query(SocialAbstractArgumentationFramework, Argument) - Method in class org.tweetyproject.arg.social.reasoner.IssReasoner
query(ClBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
query(DlBeliefSet, DlAxiom) - Method in class org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner
query(FolBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner
query(FolBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.FolReasoner
query(FolBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
query(FolBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
query(FolBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
query(MlBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
query(MlBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner
query(MlBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.ml.reasoner.SimpleMlReasoner
query(MlBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner
query(MarkovLogicNetwork, FolFormula) - Method in class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner
query(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner: Queries the given MLN wrt.
query(PclBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.pcl.reasoner.AbstractPclReasoner
query(PclBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner
query(PclBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
query(PlBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
query(PlBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.SatReasoner
query(PlBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.SimplePlReasoner
query(PlBeliefSet, PlFormula) - Method in class org.tweetyproject.logics.qbf.reasoner.NaiveQbfReasoner
query(PlFormula, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner: Checks whether the first formula entails the second.
query(RclBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner
query(RclBeliefSet, FolFormula, FolSignature) - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner: Queries the given belief set wrt.
query(DefaultTheory, FolFormula) - Method in class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner
query(DefaultTheory, FolFormula, InferenceMode) - Method in class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner: Queries the given default theory for the given query using the given inference mode.
query(RpclBeliefSet, FolFormula) - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner
query(RpclBeliefSet, FolFormula, FolSignature) - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner: Queries the knowledge base wrt.
query(Program, ASPLiteral) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver
query(Program, ASPLiteral) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
query(Program, ASPLiteral) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
query(Program, ASPLiteral, InferenceMode) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver: Evaluates a query on the given belief base using the specified inference mode.
query(Program, ASPLiteral, InferenceMode) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver: Evaluates a query on the given belief base using the specified inference mode.
Query<T> - Interface in org.tweetyproject.arg.adf.reasoner.query: Query class
Query() - Method in class org.tweetyproject.lp.asp.parser.ASPParser: Return Query
QUERY - Enum constant in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command: query
query_assumption(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Sets the query assumption for the ABA reasoner post request.
QUERY_MARK - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
QUERY_MARK - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
queryBatch() - Method in class org.tweetyproject.arg.delp.TestDeLP
queryProof(FolBeliefSet, Formula) - Method in class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner: Determines the answer wrt.
queryProof(MlBeliefSet, Formula) - Method in class org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner: Determines the answer wrt.
QueryProposition - Class in org.tweetyproject.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 org.tweetyproject.action.query.syntax.QueryProposition: Creates a new query proposition with the given formula and a unique name, which is used by the base class.
queryW(DungTheory, Argument, InferenceMode) - Method in class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
quoted() - Method in class org.tweetyproject.arg.delp.TestQueries
QUOTED - Static variable in interface org.tweetyproject.arg.delp.parser.DelpParserConstants: RegularExpression ID for a quoted string token.
QuteSolver - Class in org.tweetyproject.logics.qbf.reasoner: A wrapper for the Qute (https://www.ac.tuwien.ac.at/research/qute/) solver.
QuteSolver(String) - Constructor for class org.tweetyproject.logics.qbf.reasoner.QuteSolver: Constructs a new instance pointing to a specific QuteSolver
QuteSolver(String, Shell) - Constructor for class org.tweetyproject.logics.qbf.reasoner.QuteSolver: Constructs a new instance pointing to a specific QuteSolver.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form