GitHub topics: resolution-refutation
fahmi-ramadhan/resolution-refutation
resolution refutation algorithm for propositional logic in python
Language: Python - Size: 5.76 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
ChakshuGupta13/propositional-logic-theorem-prover-using-resolution-refutation
Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in the proof.
Language: Python - Size: 72.3 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1
ja841014/USC_CSCI_561
USC 2021 Spring CSCI 561 Artificial Intelligence Score: A-
Language: Java - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
