Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4).

Marco Gaboardi Shin-ya Katsumata

Published in: NII Shonan Meet. Rep. (2017)

Keyphrases

resource management
resource allocation
data sets
logic programming
semantic information
formal semantics
database
e learning
high level
database systems
learning resources
computing resources
default reasoning