Murphree's Numerical Term Logic Tableaux.
José Martín Castro-ManzanoPublished in: LANMR (Selected Papers) (2019)
Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- logic programming
- decision procedures
- proof procedure
- classical first order logic
- deontic logic
- sensitivity analysis
- dynamic logic
- qualitative and quantitative
- inference rules
- numerical data
- classical logic
- computational properties
- predicate logic
- databases
- knowledge representation
- sequent calculus
- proof theory
- conditional logic
- defeasible logic
- database
- neural network
- temporal logic
- functional dependencies
- first order logic
- relational databases