Spider Diagrams with Absence: Inference Rules for Clutter Reduction.
Gem StapletonLopamudra ChoudhuryMihir K. ChakrabortyPublished in: J. Vis. Lang. Sentient Syst. (2018)
Keyphrases
- inference rules
- modal logic
- first order logic
- theorem proving
- logical framework
- theorem prover
- truth values
- conditional probabilities
- horn clauses
- machine learning
- natural deduction
- logic programming language
- binary relations
- probabilistic model
- simulated annealing
- relational databases
- data mining
- sequent calculus
- proof search