resolution-refutation

There are 0 repository under resolution-refutation topic.

Aditi-Singla / Logic-For-Computer-Science
Logic for Computer Science course projects
lexer parser yacc resolution-refutation first-order-logic
Language:Standard ML 1
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.
propositional-logic-theorem resolution-refutation propositional-logic
Language:Python 0
ja841014 / USC_CSCI_561
USC 2021 Spring CSCI 561 Artificial Intelligence Score: A-
a-star-algorithm breadth-first-search depth-first-search uniform-cost-search alpha-beta-pruning first-order-logic resolution-refutation minmax-algorithm
Language:Java 0
Mayank19j / resolution-refutation-prolog
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 resolution-proof resolution-of-expressions resolution-refutation refutation-resolution logic logic-programming propositional-logic propositional-resolution propositional-proof-system validity tautology tautology-checking prolog
Language:Prolog 0

Aditi-Singla / Logic-For-Computer-Science