PierreSenellart / theoremkb
Collection of tools to extract semantic information from (mathematical) research articles
☆19Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for theoremkb
- A rule engine based on Attempto Controlled English☆18Updated last week
- A WordNet in GF☆24Updated this week
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated this week
- Concept dictionary☆37Updated 7 months ago
- First-order automated theorem prover based on the tableau method☆12Updated 2 weeks ago
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 5 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- A general purpose processing framework for corpora of scientific documents☆58Updated 6 months ago
- Ontolex modules☆30Updated last year
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 5 years ago
- Grammatical Framework core: compiler, shell & runtimes☆131Updated last week
- common language and mathematics processing algorithms, in Rust☆25Updated 7 months ago
- An encyclopedia of proofs☆57Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆22Updated 5 months ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated last week
- OWL verbalizer: making machine-readable knowledge also human-readable☆36Updated last year
- Sigma Knowledge Engineering Environment☆103Updated this week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- The Heterogeneous Tool Set☆57Updated 2 months ago
- Some examples of usage of Grobid in a third party java project.☆18Updated last year
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- search interface for scholarly works☆80Updated 3 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated last week
- Verified decision procedures for modal logics in Lean☆11Updated 4 years ago
- Finds linguistic patterns effortlessly☆33Updated last year
- Version 4 of Carneades, implemented in Go☆48Updated 3 weeks ago
- Metamath verifier in Python☆34Updated 6 months ago