ai.libs:jaicore-logic:0.1.2

Group / Artifact / Version ai.libs / jaicore-logic / 0.1.2
NameJAICore-Logic
DescriptionThis project provides utils for dealing with logical experessions e.g. with first-order predicate logic.
Last modified2019-05-13 13:27:15 UTC
URL https://libs.ai
Repository URL http://repo1.maven.org/maven2/ai/libs/jaicore-logic/0.1.2/
Packaging jar
POM File View
Effective POM File View
Dependency tag
<dependency>
  <groupId>ai.libs</groupId>
  <artifactId>jaicore-logic</artifactId>
  <version>0.1.2</version>
</dependency>
'ai.libs:jaicore-logic:jar:0.1.2'
<dependency org="ai.libs" name="jaicore-logic" rev="0.1.2" />
@Grapes(@Grab(group='ai.libs', module='jaicore-logic', version='0.1.2'))
compile 'ai.libs:jaicore-logic:0.1.2'
libraryDependencies += "ai.libs" % "jaicore-logic" % "0.1.2"
Repository tag
  <repository>
    <id>central</id>
    <url>http://repo1.maven.org/maven2/</url>
  </repository>
Used by
Packages

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

ai.libs.jaicore.logic.fol.structure

ai.libs.jaicore.logic.fol.theories

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

ai.libs.jaicore.logic.fol.util