arademaker/SALC arademaker/SALC

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
  • Created about 15 years ago
  • Updated almost 15 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arademaker/SALC
github

arademaker

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Sequent Calculus for ALC (Description Logic)

More Repositories

1

SLattes

Semantic Lattes
XSLT
40
star
2

hemera

Yet another simple theorem prover
Python
6
star
3

IR-2011

Curso de Introduรงรฃo ao R - 2011
R
6
star
4

qualis

Datasets about CAPES Qualis (Rank of Academic Journals)
Common Lisp
5
star
5

lattes-to-bibtex

A web interface for convert Lattes files to BibTeX
Common Lisp
4
star
6

arademaker.github.com

homepage and blog
TeX
3
star
7

alc-lean

Formalization of ALC Logic in LEAN Prover
Lean
3
star
8

krr

Knowledge Representation and Reasoning
Common Lisp
3
star
9

hs-conllu

CoNLL-U/UD library
Haskell
3
star
10

vizagrams

Lean
2
star
11

CS-FP

Course on Computational Semantics
Haskell
2
star
12

ED-2017-2

Curso ED Mestrado FGV/EMAp
Python
2
star
13

delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets
Lean
2
star
14

paip

Code of PAIP book with adaptations
Common Lisp
1
star
15

puzzles

puzzles from TPTP
Lean
1
star