Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement.
Ievgen IvanovMykola S. NikitchenkoPublished in: ICTERI (Revised Selected Papers) (2018)
Keyphrases
- inference rules
- first order logic
- horn clauses
- knowledge representation
- theorem proving
- logic programming language
- modal logic
- logical framework
- theorem prover
- sequent calculus
- binary relations
- probabilistic knowledge
- natural deduction
- conditional probabilities
- tabu search
- query processing
- search algorithm
- feature selection
- truth values
- artificial intelligence
- database