Erotetic Logic And Explanation By Abnormic Hypotheses.

Andrzej Wisniewski

Published in: Synth. (1999)

Keyphrases

abductive reasoning
causal reasoning
asynchronous circuits
predicate logic
explanation based learning
proof theory
classical logic
data sets
logic programming
data mining
neural network
logic programs
multi agent systems
search algorithm
information retrieval
formal theory
deontic logic
real world