Some Remarks on Assertion and Proof.

Massimiliano Carrara Daniele Chiffi Ciro De Florio

Published in: FLAP (2021)

Keyphrases

theorem prover
theorem proving
feature selection
automated theorem proving
proof planning
formal proof
information systems
decision trees
relational databases
search space
multiresolution
knowledge representation