An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems.

Yutaro Nagae Masahiko Sakai Hiroyuki Seki

Published in: WPTE@FSCD (2016)

Keyphrases

information systems
computer systems
expert systems
intelligent systems
knowledge based systems
database systems
knowledge representation
distributed systems
random walk
building blocks
directed graph
graph theoretic