Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices).

Anupam Das Damien Pous

Published in: CSL (2018)

Keyphrases

proof theory
distributive lattices
default reasoning
automated reasoning
proof theoretic
reasoning problems
knowledge representation
regular expressions
np hard
belief revision