heyting 0.7.0

Complex logical query answering over knowledge graph embeddings
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

# Managed by repository-settings/app
# https://github.com/repository-settings/app

repository:
  description: "Complex logical query answering over knowledge graph embeddings"
  homepage: "https://docs.rs/heyting"
  private: false
  has_issues: true
  has_wiki: false
  has_downloads: true
  default_branch: main
  allow_squash_merge: true
  allow_merge_commit: true
  allow_rebase_merge: true
  delete_branch_on_merge: true

  topics:
    - knowledge-graph
    - query-answering
    - fuzzy-logic
    - reasoning
    - rust