C-Clause Calculi and Refutation Search in First-Order Classical Logic.
Alexander V. LyaletskiPublished in: ICTERI (2015)
Keyphrases
- classical logic
- logic programming
- valued logic
- search space
- modal logic
- search algorithm
- possibilistic logic
- general logic programs
- intuitionistic logic
- possibility theory
- first order logic
- theorem prover
- sufficient conditions
- horn clauses
- automated theorem proving
- computer science and artificial intelligence
- machine learning
- default logic
- logic programs
- programming language