Andrzej Grzegorczyk: Logic and Philosophy.

Stanislaw Krajewski Jan Wolenski

Published in: Fundam. Informaticae (2007)

Keyphrases

artificial intelligence
proof theory
modal logic
logic programming
automated reasoning
multi valued
classical logic
data sets
bayesian networks
defeasible logic
epistemic logic