A Logic for Qualified Syllogisms.

Daniel G. Schwartz

Published in: SCSS (2) (2008)

Keyphrases

artificial intelligence
logic programming
automated reasoning
defeasible logic
linear logic
proof theory
databases
neural network
decision making
image processing
bayesian networks
probability theory
multi valued
digital circuits
predicate logic