Logic for Computer Science course projects
-
Updated
Nov 17, 2018 - Standard ML
#
resolution-refutation
Here are 4 public repositories matching this topic...
resolution refutation algorithm for propositional logic in python
-
Updated
Jun 29, 2025 - Python
USC 2021 Spring CSCI 561 Artificial Intelligence Score: A-
first-order-logic breadth-first-search alpha-beta-pruning depth-first-search uniform-cost-search minmax-algorithm a-star-algorithm resolution-refutation
-
Updated
Apr 21, 2021 - Java
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
resolution logic prolog logic-programming propositional-logic validity tautology resolution-proof refutation-resolution propositional-proof-system propositional-resolution tautology-checking resolution-of-expressions resolution-refutation
-
Updated
Oct 3, 2018 - Prolog
Improve this page
Add a description, image, and links to the resolution-refutation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the resolution-refutation topic, visit your repo's landing page and select "manage topics."