Novel Didactic Proof Assistant for First-Order Logic Natural Deduction.
Jorge PaisAlvaro TasistroPublished in: HCI (14) (2014)
Keyphrases
- natural deduction
- first order logic
- theorem prover
- inference rules
- theorem proving
- expressive power
- propositional logic
- sequent calculus
- automated reasoning
- cut elimination
- knowledge representation
- probabilistic reasoning
- markov networks
- inductive logic programming
- representation language
- transitive closure
- probabilistic graphical models
- relational algebra
- horn clauses
- decision procedures
- set theory
- predicate calculus
- proof procedure
- bayesian networks
- data model
- quantifier elimination
- expert systems