Uses of Package
edu.cs.ai.kreator.logic

Packages that use edu.cs.ai.kreator.logic

edu.cs.ai.kreator.datamodels
edu.cs.ai.kreator.logic
edu.cs.ai.kreator.logic.metaconstraints
edu.cs.ai.kreator.logic.prolog
edu.cs.ai.kreator.models
edu.cs.ai.kreator.parser.groundatom
edu.cs.ai.kreator.ui.gui.components
edu.cs.ai.kreator.ui.gui.components.controller

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.datamodels

AtomExpression
This class models an atom expression in bayesian logic.

Constant
This class models a constant, i.e., a member of the universe under discourse.

GeneralizedPredicate
This class models a generalized predicate.

LanguageFactory
An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.

Latexable
Defines a Interface to generate a LaTeX conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals, cpds ...

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.logic

AtomExpression
This class models an atom expression in bayesian logic.

Clause
This class models a clause in clausal logic, i.e., a formula of the form "A <- A1,...

ClauseNetworkNode
This class represents a node in a clause network, i.e.

Constant
This class models a constant, i.e., a member of the universe under discourse.

FolBinaryJunction

FolFormula

FolQuantification

Functor
This class models a functor in first-order logic.

GeneralizedAtom
This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters.

GeneralizedPredicate
This class models a generalized predicate.

LanguageFactory
An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.

LanguageFactory.GrammarStyle

Latexable
Defines a Interface to generate a LaTeX conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals, cpds ...

Literal
This abstract class models a literal in first-order logic.

Literal.TruthValue

LogicTranslator
This a generic interface for translating the KReator logic into another logic and vice-versa.

Sort

SpiritGrammarConform
Defines an abstract class to generate a SPIRIT conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals...

Term
This interfaces summarizes the common functionalities of terms in first-order logic.

TranslationException
Exception is thrown if the translation of the foreign logic to KReator logic or vice versa fails.

Variable
This class models a variable in first-order logic, i.e., a placeholder for any constant in the universe under discourse.

VariableFactory
An instance of this class is responsible for maintaining a unique object status of variables within the scope of variables, e.g. within clauses.

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.logic.metaconstraints

Constant
This class models a constant, i.e., a member of the universe under discourse.

Latexable
Defines a Interface to generate a LaTeX conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals, cpds ...

Variable
This class models a variable in first-order logic, i.e., a placeholder for any constant in the universe under discourse.

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.logic.prolog

AtomExpression
This class models an atom expression in bayesian logic.

Clause
This class models a clause in clausal logic, i.e., a formula of the form "A <- A1,...

Constant
This class models a constant, i.e., a member of the universe under discourse.

GeneralizedAtom
This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters.

GeneralizedPredicate
This class models a generalized predicate.

LanguageFactory
An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.

Sort

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.models

AtomExpression
This class models an atom expression in bayesian logic.

Constant
This class models a constant, i.e., a member of the universe under discourse.

GeneralizedAtom
This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters.

GeneralizedPredicate
This class models a generalized predicate.

LanguageFactory
An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.

Latexable
Defines a Interface to generate a LaTeX conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals, cpds ...

Sort

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.parser.groundatom

AtomExpression
This class models an atom expression in bayesian logic.

Constant
This class models a constant, i.e., a member of the universe under discourse.

GeneralizedAtom
This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters.

GeneralizedPredicate
This class models a generalized predicate.

LanguageFactory
An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.

Sort

Term
This interfaces summarizes the common functionalities of terms in first-order logic.

Variable
This class models a variable in first-order logic, i.e., a placeholder for any constant in the universe under discourse.

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.ui.gui.components

AtomExpression
This class models an atom expression in bayesian logic.

Classes in edu.cs.ai.kreator.logic used by edu.cs.ai.kreator.ui.gui.components.controller

AtomExpression
This class models an atom expression in bayesian logic.

Constant
This class models a constant, i.e., a member of the universe under discourse.

GeneralizedPredicate
This class models a generalized predicate.

LanguageFactory
An instance of this class is responsible for maintaining a unique object status of symbolic names of constants, predicates, etc., within a single language.

Sort