Characteristic invariants in Hennessy-Milner logic.

Marc Jasper Maximilian Schlüter Bernhard Steffen

Published in: Acta Informatica (2020)

Keyphrases

logic programming
modal logic
classical logic
affine moment invariants
predicate logic
defeasible logic
multi valued
automated reasoning
probability theory
abductive reasoning
digital circuits
databases
moment invariants
affine invariant
expert systems
pattern recognition
computer vision
artificial intelligence