On linear logic planning and concurrency.

Ozan Kahramanogullari

Published in: Inf. Comput. (2009)

Keyphrases

linear logic
fixed point
logic programming
cut elimination
intuitionistic logic
logical framework
database systems
concurrency control
planning domains
proof theoretic
planning problems
sequent calculus
proof search
machine learning
knowledge base
concurrent execution