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