naveensundarg/RLCNL naveensundarg/RLCNL

  • Stars
    star
    2
  • Language
    Common Lisp
  • Created almost 12 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
naveensundarg/RLCNL
github

naveensundarg

Reviews

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

Repository Details

RAIR Lab's Logically Controlled Natural Language

More Repositories

1

Common-Lisp-Actors

An actor system for Common Lisp.
Common Lisp
113
star
2

prover

Common Lisp
10
star
3

DCECProver

(Now outdated) See https://github.com/naveensundarg/ShadowProver for the latest.
Common Lisp
3
star
4

Eng-DCEC

Python
3
star
5

ShadowProver

!!Deprecated!! (Please use https://github.com/naveensundarg/prover)
Java
3
star
6

Spectra

Common Lisp
2
star
7

deontic-logic

A repo for logic experiments and demonstrations
Common Lisp
2
star
8

DPL

A Propositional Alpha Denotational Proof Language
Clojure
2
star
9

dcec

1
star
10

catabotrescue-unity

Catabot Rescue Game in Unity
Assembly
1
star
11

G

Common Lisp
1
star