METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine.
Dmitry TishkovskyRenate A. SchmidtMohammad KhodadadiPublished in: TABLEAUX (2011)
Keyphrases
- inference engine
- proof search
- automated theorem proving
- knowledge representation language
- theorem proving
- expert systems
- theorem prover
- rule base
- proof procedure
- knowledge base
- knowledge representation
- knowledge based systems
- linear logic
- description logics
- inference rules
- backward chaining
- logic programming
- technology enhanced learning
- classical logic
- defeasible logic
- sequent calculus
- blackboard architecture
- evolutionary algorithm
- neural network
- deontic logic
- fuzzy rules
- real time