CHR: A Constructive Relevant Natural-deduction Logic.
Neil LeslieEdwin D. MaresPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- natural deduction
- intuitionistic logic
- cut elimination
- inference rules
- theorem prover
- constraint handling rules
- sequent calculus
- theorem proving
- linear logic
- linear time temporal logic
- knowledge representation
- high level
- markov random field
- graphical models
- first order logic
- modal logic
- description logics
- automated reasoning
- bayesian networks
- artificial intelligence
- machine learning