Inductive and Deductive Reasoning
REASONING WITH CONTRADICTORY DEDUCTIVE DATABASES
Deductive and Inductive Reasoning on Trajectories.