All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download jaicore-logic JAR 0.2.2 with all dependencies

This project provides utils for dealing with logical experessions e.g. with first-order predicate logic.

Files of the artifact jaicore-logic version 0.2.2 from the group ai.libs.

Artifact jaicore-logic
Group ai.libs
Version 0.2.2
Last update 23. July 2020
Tags: experessions project with logical order utils predicate dealing provides this first logic
Organization not specified
URL https://libs.ai
License GPLv3
Dependencies amount 6
Dependencies owner-java8, guava, slf4j-api, jaicore-basic, common, algorithm,
There are maybe transitive dependencies!

There is a newer version: 0.2.7

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of jaicore-logic Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of jaicore-logic version 0.2.2

META-INF

META-INF.META-INF.MANIFEST.MF

META-INF.META-INF.jaicore-logic.properties

ai.libs.jaicore.logic.fol.algorithms.resolution

ai.libs.jaicore.logic.fol.algorithms.resolution.ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionPair

ai.libs.jaicore.logic.fol.algorithms.resolution.ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionStep

ai.libs.jaicore.logic.fol.algorithms.resolution.ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree

ai.libs.jaicore.logic.fol.algorithms.resolution.ai.libs.jaicore.logic.fol.algorithms.resolution.Solver

ai.libs.jaicore.logic.fol.algorithms.resolution.ai.libs.jaicore.logic.fol.algorithms.resolution.SolverFactory

ai.libs.jaicore.logic.fol.algorithms.resolution.ai.libs.jaicore.logic.fol.algorithms.resolution.UnitResolutionSolver

ai.libs.jaicore.logic.fol.structure

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.CNFFormula

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.Clause

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.ConstantParam

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.DNFFormula

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.HornFormula

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.HornRule

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.InterpretedLiteral

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.Literal

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.LiteralParam

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.LiteralSet

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.Monom

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.Rule

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.Type

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.TypeModule

ai.libs.jaicore.logic.fol.structure.ai.libs.jaicore.logic.fol.structure.VariableParam

ai.libs.jaicore.logic.fol.theories

ai.libs.jaicore.logic.fol.theories.ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

ai.libs.jaicore.logic.fol.theories.set

ai.libs.jaicore.logic.fol.theories.set.ai.libs.jaicore.logic.fol.theories.set.ContainsPredicate

ai.libs.jaicore.logic.fol.theories.set.ai.libs.jaicore.logic.fol.theories.set.NotEmptyPredicate

ai.libs.jaicore.logic.fol.theories.set.ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate

ai.libs.jaicore.logic.fol.theories.set.ai.libs.jaicore.logic.fol.theories.set.PartitionPredicate

ai.libs.jaicore.logic.fol.theories.set.ai.libs.jaicore.logic.fol.theories.set.SetTheoryUtil

ai.libs.jaicore.logic.fol.util

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.ForwardChainer

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.ForwardChainerRecursionEvent

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.ForwardChainingFailedCWABindingEvent

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.ForwardChainingProblem

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.LiteralStringParser

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.LogicUtil

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.NextBindingFoundEvent

ai.libs.jaicore.logic.fol.util.ai.libs.jaicore.logic.fol.util.TypeUtil

© 2015 - 2024 Weber Informatics LLC | Privacy Policy