Search Results - RepositoryStats

96

347

other

35

ACL2 System and Books as Maintained by the Community

acl2 logic rewriting common-lisp formal-methods theorem-prover theorem-proving first-order-logic formal-verification

Created 2014-09-01

38,295 commits to master branch, last one 16 hours ago

24

205

unknown

6

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

psl reasoning paper-list deep-logic-model first-order-logic neuro-symbolic-learning

Created 2020-01-04

33 commits to master branch, last one 3 months ago

11

169

apache-2.0

9

A Julia package for Prolog-style logic programming.

fol julia logic prolog first-order-logic logic-programming

Created 2019-12-26

112 commits to master branch, last one about a year ago

10

89

apache-2.0

6

Resolution theorem proving for predicate logic in pure Python.

prover python coconut theorem-prover theorem-proving first-order-logic

Created 2017-03-04

96 commits to master branch, last one 7 months ago

18

57

apache-2.0

10

Tarski - An AI Planning Modeling Framework

strips python3 first-order-logic functional-strips automated-planning

Created 2018-01-09

1,251 commits to master branch, last one 2 years ago