Reasoning about Resources and Information: A Linear Logic Approach.

Norihiro Kamide Ken Kaneiwa

Published in: Fundam. Informaticae (2013)

Keyphrases

resource allocation
linear logic
decision making
information resources
artificial intelligence
spatial information
desirable properties
automated reasoning
cut elimination