A Decidable Characterization of a Graphical Pi-calculus with Iterators

Frédéric Peschanski Hanna Klaudel Raymond R. Devillers

Published in: INFINITY (2010)

Keyphrases

first order logic
databases
knowledge base
natural language
situation calculus
function symbols
provably correct
relational databases
fuzzy logic
graphical representation
transitive closure
relational calculus
linear time temporal logic