Computation Paths Logic: An Expressive, yet Elementary, Process Logic.

David Harel Eli Singerman

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

classical logic
modal logic
predicate logic
machine learning
logic programming
logical framework
automated reasoning
multi valued
set theory
proof theory
search algorithm
process model