Automated Theorem Proving for Prolog Verification.
Fred MesnardThierry MarianneÉtienne PayetPublished in: LPAR Complementary Volume (2024)
Keyphrases
- automated theorem proving
- theorem proving
- theorem prover
- answer set programming
- logic programming
- constraint logic programming
- classical logic
- model checking
- first order logic
- logic programs
- formal verification
- inference rules
- knowledge representation
- programming language
- prolog programs
- face verification
- verification method
- logic programming language
- expert systems
- false acceptance rate
- programming paradigms
- data sets
- abstract machine
- fingerprint verification
- temporal logic
- machine learning
- neural network