Propositional Description of Finite Cause-Effect Structures.

Leszek Holenderski Andrzej Szalas

Published in: Inf. Process. Lett. (1988)

Keyphrases

high level
propositional logic
first order logic
databases
finite number
neural network
web services
lower bound
evolutionary algorithm
horn clauses
shape description