Aleph1 and the Modal mu-Calculus.

Maria João Gouveia Luigi Santocanale

Published in: CSL (2017)

Keyphrases

transition systems
modal logic
relational learning
inductive logic programming
formal language
development environment
data sets
computer algebra
sequent calculus
tableau calculus
database
search algorithm
expert systems
relational calculus
automated deduction
algebraic structure