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 All Packages

Q

QbfExample - Class in net.sf.tweety.logics.qbf.examples

Some general examples for quantified boolean formulas and for parsers and writers.

QbfExample() - Constructor for class net.sf.tweety.logics.qbf.examples.QbfExample

QbfParser - Class in net.sf.tweety.logics.qbf.parser

This class implements a parser for quantified boolean formulas.

QbfParser() - Constructor for class net.sf.tweety.logics.qbf.parser.QbfParser

QbfReasonersExample - Class in net.sf.tweety.logics.qbf.examples

Examples for various QBF solvers.

QbfReasonersExample() - Constructor for class net.sf.tweety.logics.qbf.examples.QbfReasonersExample

QbfSolver - Class in net.sf.tweety.logics.qbf.reasoner

Abstract QBF sat solver to be implemented by concrete solvers.

QbfSolver() - Constructor for class net.sf.tweety.logics.qbf.reasoner.QbfSolver

QbfTest - Class in net.sf.tweety.logics.qbf.test

Test class for basic qbf functionalities.

QbfTest() - Constructor for class net.sf.tweety.logics.qbf.test.QbfTest

QbPossibleWorld - Class in net.sf.tweety.logics.qbf.semantics

This class represents a possible world of quantified boolean logic, i.e.

QbPossibleWorld() - Constructor for class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Creates a new empty possible world.

QbPossibleWorld(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Creates a new possible world with the given set of propositions.

QCirParser - Class in net.sf.tweety.logics.qbf.parser

This class implements a parser for the QCIR (Quantified CIRcuit) format.

QCirParser() - Constructor for class net.sf.tweety.logics.qbf.parser.QCirParser

QCIRTest - Class in net.sf.tweety.logics.qbf.test

Test class for parsing QCIR files.

QCIRTest() - Constructor for class net.sf.tweety.logics.qbf.test.QCIRTest

QdimacsParser - Class in net.sf.tweety.logics.qbf.parser

This class implements a parser for the QDIMACS input format.

QdimacsParser() - Constructor for class net.sf.tweety.logics.qbf.parser.QdimacsParser

QdimacsParser.Answer - Enum in net.sf.tweety.logics.qbf.parser

Possible answers that solvers can find for a given QDIMACS problem.

QDIMACSTest - Class in net.sf.tweety.logics.qbf.test

Test class for parsing QDIMACS files.

QDIMACSTest() - Constructor for class net.sf.tweety.logics.qbf.test.QDIMACSTest

QdimacsWriter - Class in net.sf.tweety.logics.qbf.writer

Converts belief bases to QDIMACS format and prints them.

QdimacsWriter() - Constructor for class net.sf.tweety.logics.qbf.writer.QdimacsWriter

Creates a new QDIMACS writer.

QdimacsWriter(Writer) - Constructor for class net.sf.tweety.logics.qbf.writer.QdimacsWriter

Creates a new QDIMACS writer.

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

This class implements a simple quadruple of elements.

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

Initializes an empty quadruple

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

Initializes the elements of this quadruple with given parameters

QuadrupleSetSignature<T,S,U,R> - Class in net.sf.tweety.commons

This class models a signature as four sets of formulas.

QuadrupleSetSignature() - Constructor for class net.sf.tweety.commons.QuadrupleSetSignature

Creates a new empty signature.

QualifiedExample - Class in net.sf.tweety.arg.dung.examples

QualifiedExample() - Constructor for class net.sf.tweety.arg.dung.examples.QualifiedExample

QualifiedReasoner - Class in net.sf.tweety.arg.dung.reasoner

Reasoner for qualified sigma-semantics.

QualifiedReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.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 net.sf.tweety.arg.dung.reasoner.QualifiedReasoner

initialize reasoner with the given semantics as base function.

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.

QUALITYPRECEDENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate

The QUALITYPRECEDENCE postulate

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

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(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(AbaTheory<T>, Assumption<T>) - Method in class net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner

query(AbaTheory<T>, Assumption<T>, InferenceMode) - Method in class net.sf.tweety.arg.aba.reasoner.FlatAbaReasoner

query(AbaTheory<T>, Assumption<T>, InferenceMode) - 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(AbstractDialecticalFramework, Argument) - Method in class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

query(AbstractDialecticalFramework, Argument, InferenceMode) - Method in class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

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

query(AspicArgumentationTheory<T>, T, InferenceMode) - 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, PlFormula) - Method in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

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

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

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) - Method in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

query(DungTheory, Argument, InferenceMode) - 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, InferenceMode) - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner

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

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

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

query(DungTheory, T, InferenceMode) - Method in class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner

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

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

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, Extension) - Method in class net.sf.tweety.arg.prob.reasoner.SimplePafReasoner

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

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

query(ProbabilisticArgumentationFramework, Argument, InferenceMode) - 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, Argument, InferenceMode) - Method in class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner

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

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(ClBeliefSet, PlFormula) - Method in class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

query(DlBeliefSet, DlAxiom) - Method in class net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner

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.Prover9FolReasoner

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

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

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

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

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

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

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, PlFormula) - Method in class net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner

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

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

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

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

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

query(PlBeliefSet, PlFormula) - Method in class net.sf.tweety.logics.qbf.reasoner.NaiveQbfReasoner

query(PlFormula, PlFormula) - Method in class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner

Checks whether the first formula entails the second.

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

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

Queries the given belief set wrt.

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

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

Queries the given default theory for the given query using the given inference mode.

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

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

Queries the knowledge base wrt.

query(Program, ASPLiteral) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

query(Program, ASPLiteral) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

query(Program, ASPLiteral) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

query(Program, ASPLiteral, InferenceMode) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

query(Program, ASPLiteral, InferenceMode) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Query() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

QUERY_MARK - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

QUERY_MARK - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

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(MlBeliefSet, Formula) - Method in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner

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.

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

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

RegularExpression Id.

QuteSolver - Class in net.sf.tweety.logics.qbf.reasoner

A wrapper for the Qute (https://www.ac.tuwien.ac.at/research/qute/) solver.

QuteSolver(String) - Constructor for class net.sf.tweety.logics.qbf.reasoner.QuteSolver

Constructs a new instance pointing to a specific QuteSolver

QuteSolver(String, Shell) - Constructor for class net.sf.tweety.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 All Packages