Proof theory for hybrid(ised) logics.

Renato Neves Alexandre Madeira Manuel A. Martins Luís Soares Barbosa

Published in: Sci. Comput. Program. (2016)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
knowledge representation
belief revision
multi agent
nonmonotonic reasoning