A logical framework with a graph meta-language.

Bruno Cuconato Jefferson de Barros Santos Edward Hermann Haeusler

Published in: CoRR (2021)

Keyphrases

logical framework
belief revision
inference rules
graph transformation
linear logic
programming language
reasoning tasks
decision making
epistemic logic
natural language
possibilistic logic
computational complexity
probabilistic model
argumentation frameworks
coalition logic