nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic.

Leo Repp Mario Frank

Published in: AReCCa@TABLEAUX (2023)

Keyphrases

theorem proving
theorem prover
automated theorem proving
inference rules
decision procedures
defeasible logic
first order logic
horn clauses
temporal resolution
multiscale
inductive logic programming
temporal logic
databases
floating point
automated reasoning
decision trees
constraint propagation
real time