Observational Logic.

Rolf Hennicker Michel Bidoit

Published in: AMAST (1998)

Keyphrases

classical logic
modal logic
logic programming
logic synthesis
data sets
multi valued
logical framework
deontic logic
causal inference
genetic algorithm
artificial intelligence
artificial neural networks
set theory
abductive reasoning
epistemic logic
natural deduction