On Conditional Axioms and Associated Inference Rules.
Joaquín Borrego-DíazAndrés Cordón-FrancoFrancisco Félix Lara MartínPublished in: Axioms (2024)
Keyphrases
- inference rules
- first order logic
- conditional probabilities
- horn clauses
- theorem proving
- logical framework
- theorem prover
- modal logic
- propositional logic
- truth values
- knowledge base
- logic programming language
- small number
- bayesian networks
- databases
- natural deduction
- sequent calculus
- probability distribution
- probabilistic model
- feature vectors
- search space
- linear logic
- inclusion dependencies
- proof search