Completeness and Termination of Tableau Calculus for Undirected Graphs.

Yuki Nishimura Tsubasa Takagi

Published in: CoRR (2024)

Keyphrases

undirected graph
tableau calculus
approximation algorithms
directed graph
directed acyclic graph
complex networks
graph structure
description logics
minimum cost
spanning tree
connected components
disjoint paths
vertex set
minimal models
knowledge base
social networks
natural language
random graphs