Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "logic" keyword
it.unibo.coordaas:presentation 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 3 dependent packages - 2 stars on GitHub
it.unibo.coordaas:tusow-service 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 1 dependent package - 2 stars on GitHub
it.unibo.coordaas:test-utils 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 2 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-logic-client 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 2 dependent packages - 2 stars on GitHub
ai.grakn:test-snb 1.4.3
The Knowledge Graph8 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
it.unibo.coordaas:utils 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 5 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-remote-client 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 3 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-text-presentation 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 3 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-core-presentation 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 3 dependent packages - 2 stars on GitHub
it.unibo.coordaas:tusow-full 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 2 stars on GitHub
it.unibo.coordaas:linda-test 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 1 dependent package - 2 stars on GitHub
it.unibo.coordaas:tusow-cli 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 1 dependent package - 2 stars on GitHub
it.unibo.coordaas:linda-logic-presentation 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 3 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-core 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 7 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-logic 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 4 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-text-client 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 2 dependent packages - 2 stars on GitHub
it.unibo.coordaas:linda-text 0.7.2
Tuple-based Coordination environment3 versions - Latest release: over 2 years ago - 4 dependent packages - 2 stars on GitHub
ai.grakn:grakn 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
com.tupilabs:nebular 0.4
A fuzzy logic API in Java1 version - Latest release: over 8 years ago - 5 stars on GitHub
net.sf.nebular:nebular 0.3
A fuzzy API in Java3 versions - Latest release: over 11 years ago - 1 dependent repositories - 5 stars on GitHub
ai.grakn:migration-owl 0.18.0
A distributed semantic graph database.15 versions - Latest release: over 6 years ago - 3 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-bootup 1.2.0
A distributed semantic graph database.4 versions - Latest release: about 6 years ago - 4 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
ai.grakn:migration-xml 1.4.3
The Knowledge Graph18 versions - Latest release: over 5 years ago - 6 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
io.github.leoprover:scala-tptp-parser_2.13 1.7.1
scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for kno...11 versions - Latest release: about 1 year ago - 4 stars on GitHub
ai.grakn:grakn-test-profiles 1.4.3
The Knowledge Graph18 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:test-client-java 1.4.3
The Knowledge Graph2 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:titan-factory 0.16.0
A distributed semantic graph database.7 versions - Latest release: almost 7 years ago - 4 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
ai.grakn:orientdb-factory 0.16.0
A distributed semantic graph database.6 versions - Latest release: almost 7 years ago - 3,360 stars on GitHub
com.marklogic:ml-gradle 4.8.0
Gradle plugin for automating everything involving MarkLogic20 versions - Latest release: 16 days ago - 9 dependent repositories - 69 stars on GitHub
ai.grakn:grakn-migration 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:grakn-dashboard 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:grakn-module-sdk 1.0.0
A distributed semantic graph database.1 version - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
ai.grakn:test-distribution 1.4.3
The Knowledge Graph2 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
io.github.javaf:extra-boolean 1.3.4
Boolean data type has two possible truth values to represent logic.17 versions - Latest release: about 3 years ago - 0 stars on GitHub
ai.grakn:janus-factory 1.1.0
A distributed semantic graph database.5 versions - Latest release: over 6 years ago - 4 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-factory 1.4.3
The Knowledge Graph19 versions - Latest release: over 5 years ago - 4 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-dist 1.4.1
The Knowledge Graph15 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:test-integration 1.4.3
The Knowledge Graph8 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:grakn-kb 1.4.3
The Knowledge Graph12 versions - Latest release: over 5 years ago - 6 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-orientdb-factory 0.10.0
A distributed semantic graph database.4 versions - Latest release: over 7 years ago - 3,360 stars on GitHub
ai.grakn:grakn-test 1.4.3
The Knowledge Graph17 versions - Latest release: over 5 years ago - 3,360 stars on GitHub
ai.grakn:grakn-grpc 1.2.0
A distributed semantic graph database.3 versions - Latest release: about 6 years ago - 4 dependent packages - 3,360 stars on GitHub
ai.grakn:client-java 1.4.3
The Knowledge Graph5 versions - Latest release: over 5 years ago - 9 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
com.github.galigator.openllet:openllet-jena 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 6 dependent packages - 18 dependent repositories - 84 stars on GitHub
io.github.uuverifiers:princess-smt-parser_2.11 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess-parser_2.12 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess-parser_2.13 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess_2.12 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess-smt-parser_2.13 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess_2.11 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess_2.13 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 4 dependent packages - 9 stars on GitHub
io.github.uuverifiers:princess-parser_2.11 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
io.github.uuverifiers:princess-smt-parser_2.12 2024-03-22
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates...12 versions - Latest release: 2 months ago - 1 dependent package - 9 stars on GitHub
Top 8.8% on repo1.maven.org
24 versions - Latest release: over 5 years ago - 12 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-graql 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 12 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
com.github.galigator.openllet:openllet-examples 2.6.5
Examples of Openllet Usage7 versions - Latest release: over 4 years ago - 1 dependent package - 84 stars on GitHub
com.github.galigator.openllet:openllet-owlapi 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 15 dependent packages - 29 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-modularity 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 5 dependent packages - 2 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-cli 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 2 dependent packages - 84 stars on GitHub
com.github.galigator.openllet:openllet-pellint 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 3 dependent packages - 1 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-explanation 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 5 dependent packages - 10 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-core 2.6.5
Openllet core module.7 versions - Latest release: over 4 years ago - 6 dependent packages - 5 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-query 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 4 dependent packages - 4 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-parent 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 1 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-distribution 2.6.5
Distribution module for Openllet7 versions - Latest release: over 4 years ago - 2 dependent repositories - 84 stars on GitHub
com.github.galigator.openllet:openllet-profiler 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 84 stars on GitHub
com.github.galigator.openllet:openllet-protege 2.6.5
Integrates the Openllet reasoner with Protege Desktop.7 versions - Latest release: over 4 years ago - 84 stars on GitHub
com.github.galigator.openllet:openllet-test 2.6.5
Openllet is open-source future of Pellet OWL Reasoner7 versions - Latest release: over 4 years ago - 1 dependent package - 84 stars on GitHub
com.github.galigator.openllet:openllet-functions 2.6.5
Openllet management of abstracts functions7 versions - Latest release: over 4 years ago - 2 dependent packages - 84 stars on GitHub
ai.grakn:grakn-test-tools 1.4.3
The Knowledge Graph13 versions - Latest release: over 5 years ago - 9 dependent packages - 1 dependent repositories - 3,360 stars on GitHub
Top 9.8% on repo1.maven.org
24 versions - Latest release: over 5 years ago - 9 dependent packages - 2 dependent repositories - 3,360 stars on GitHub
ai.grakn:migration-base 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 9 dependent packages - 2 dependent repositories - 3,360 stars on GitHub
Top 8.7% on repo1.maven.org
24 versions - Latest release: over 5 years ago - 13 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-core 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 13 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:migration-csv 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 6 dependent packages - 2 dependent repositories - 3,360 stars on GitHub
Top 10.0% on repo1.maven.org
24 versions - Latest release: over 5 years ago - 6 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:migration-sql 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 6 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
Top 10.0% on repo1.maven.org
12 versions - Latest release: almost 7 years ago - 6 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-graph 0.16.0
A distributed semantic graph database.12 versions - Latest release: almost 7 years ago - 6 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:migration-export 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 6 dependent packages - 2 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-client 1.2.0
A distributed semantic graph database.14 versions - Latest release: about 6 years ago - 7 dependent packages - 2 dependent repositories - 3,360 stars on GitHub
Top 10.0% on repo1.maven.org
24 versions - Latest release: over 5 years ago - 6 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:migration-json 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 6 dependent packages - 3 dependent repositories - 3,360 stars on GitHub
ai.grakn:grakn-graql-shell 1.4.3
The Knowledge Graph24 versions - Latest release: over 5 years ago - 6 dependent packages - 2 dependent repositories - 3,360 stars on GitHub
com.lvonce:logicweaver 1.0.0
Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/1 version - Latest release: about 7 years ago - 1 dependent repositories - 0 stars on GitHub
Related Keywords
inference
48
graphdb
33
graph-visualisation
33
graph-theory
33
graph-database
33
graph
33
enterprise-knowledge-graph
33
database
33
hyper-relational
33
knowledge-base
33
knowledge-graph
33
knowledge-representation
33
reasoning
33
relational
33
strongly-typed
33
type-system
33
typedb
33
typeql
33
agents
16
coordination
16
http
16
jvm
16
linda
16
multi-agent-systems
16
prolog
16
tuple-space
16
tuples
16
web
16
webservice
16
java
15
jena
15
owl
15
owl-api
15
owl2
15
reasoner
15
semantic
15
smt-solver
9
smt-lib
9
smt
9
theorem-prover
9
fuzzylogic
2
fuzzy
2
xor
1
parse
1
imp
1
automated-reasoning
1
behavior
1
behavior-tree
1
logic-design
1
logic-programming
1
parser
1
scala
1
theorem-provers
1
tptp
1
corb
1
example
1
examples
1
gradle
1
gradle-plugin
1
mark
1
marklogic
1
mlcp
1
sample
1
samples
1
algebra
1
boolean
1
eqv
1
extra
1