Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
ParserException
This class models a general exception for parsing.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
SetSignature
This class models a signature as a set of formulas.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
ParserException
This class models a general exception for parsing.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
BeliefBaseSampler
This abstract class models a sampler for belief bases.
|
FormulaSampler
This abstract class models a sampler for formulas.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
EntailmentRelation
An entailment relation determines whether a formula is entailed
from another formula.
|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Writer
This class represents an abstract writer for
writing objects into the file system.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
InterpretationIterator
An iterator over interpretations.
|
ParserException
This class models a general exception for parsing.
|
Signature
A signatures lists the atomic language structures for some language.
|
TweetyConfiguration.LogLevel
The possible log levels.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
InterpretationIterator
An iterator over interpretations.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Language
A language for a given signature specifies which formulas, knowledge bases,
and queries can be constructed.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
InterpretationSet
This class models an interpretation that is a set of some formula and as such implements the
java.util.Collection interface.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefBaseMachineShop
Classes implementing this interface are capable of restoring
consistency of inconsistent belief bases.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
BeliefSet
This class models a belief set, i.e.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
EntailmentRelation
An entailment relation determines whether a formula is entailed
from another formula.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefSet
This class models a belief set, i.e.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Language
A language for a given signature specifies which formulas, knowledge bases,
and queries can be constructed.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
BeliefSet
This class models a belief set, i.e.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
InterpretationIterator
An iterator over interpretations.
|
InterpretationSet
This class models an interpretation that is a set of some formula and as such implements the
java.util.Collection interface.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
SetSignature
This class models a signature as a set of formulas.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
BeliefBaseSampler
This abstract class models a sampler for belief bases.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
Answer
An abstract answer of a knowledge base to a query.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Reasoner
A reasoner specifies a specific inference operation for a given language.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
Parser
This class models an abstract parser for belief bases and formulas.
|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Answer
An abstract answer of a knowledge base to a query.
|
Writer
This class represents an abstract writer for
writing objects into the file system.
|
Class and Description |
---|
AbstractInterpretation
An abstract interpretation for some logical language.
|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Interpretation
An interpretation for some logical language.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
ParserException
This class models a general exception for parsing.
|
Class and Description |
---|
Writer
This class represents an abstract writer for
writing objects into the file system.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
BeliefSet
This class models a belief set, i.e.
|
Signature
A signatures lists the atomic language structures for some language.
|
Class and Description |
---|
BeliefBase
This class captures an abstract knowledge base, i.e.
|
Formula
A formula is a basic language construct.
|
Class and Description |
---|
BeliefSet
This class models a belief set, i.e.
|