Tableaux for Murphree's numerical term logic.

José Martín Castro-Manzano

Published in: LANMR (2019)

Keyphrases

modal logic
sequent calculi
automated reasoning
classical logic
epistemic logic
decision procedures
logic programming
sensitivity analysis
temporal logic
data sets
numerical analysis
modal operators
proof procedure
database
multi valued
numerical data
logic programs
conditional logic
digital circuits
neural network