Search Results - RepositoryStats

101

371

other

36

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

42,120 commits to master branch, last one 23 hours ago

26

248

unknown

7

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

34 commits to master branch, last one 4 months ago

11

172

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

91

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 about a year ago

20

64

apache-2.0

11

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