On the toggling-branching recurrence of Computability Logic

Meixia Qu Junfeng Luan Daming Zhu

Published in: CoRR (2012)

Keyphrases

logic programming
modal logic
data structure
predicate logic
proof theory
database
search tree
evolutionary algorithm
knowledge representation
logic programs
branch and bound
automated reasoning
multi valued
probabilistic logic
dynamic logic