LINCX: A Linear Logical Framework with First-Class Contexts.

Aïna Linn Georges Agata Murawska Shawn Otis Brigitte Pientka

Published in: ESOP (2017)

Keyphrases

logical framework
inference rules
class labels
reasoning tasks
possibilistic logic
normative systems
training data
graphical models
epistemic logic
linear logic