A Model-Based Theorem Prover for Epistemic Graphs for Argumentation.
Anthony HunterSylwia PolbergPublished in: ECSQARU (2019)
Keyphrases
- theorem prover
- theorem proving
- conceptual change
- automated reasoning
- automated theorem proving
- inference rules
- first order logic
- term rewriting
- computer algebra
- formal proof
- formal semantics
- graph matching
- argumentation systems
- natural deduction
- epistemic logic
- boolean algebra
- proof search
- proof planning
- socio cognitive
- random variables
- legal reasoning
- belief change
- knowledge building
- timed automata
- mathematical knowledge