Beta Assertive Graphs: Proofs of Assertions with Quantification.

Francesco Bellucci Daniele Chiffi Ahti-Veikko Pietarinen

Published in: FLAP (2021)

Keyphrases

knowledge base
graph representation
series parallel
graph matching
graph theoretic
mathematical proofs
graph theory
theorem prover
graph model
graph partitioning
theorem proving
decision procedures
graph mining
database
weighted graph
knn
information retrieval