Minimally Generated Abstract Logics.

Steffen Lewitzka Andreas Bernhard Michael Brunner

Published in: Logica Universalis (2009)

Keyphrases

randomly selected
high level
modal logic
propositional dynamic logic
expressive power
real world
hidden markov models
propositional calculus
neural network
information retrieval
genetic algorithm
database systems
image sequences