On Linear Logic Planning and Concurrency.

Ozan Kahramanogullari

Published in: LATA (2008)

Keyphrases

linear logic
fixed point
sequent calculus
proof theoretic
planning problems
cut elimination
logic programming
logical framework
concurrent execution
database systems
desirable properties
machine learning
natural language
inference rules
correctness criterion
intuitionistic logic