Algorithmic Debugging and Hypothetical Reasoning.

Clemens Beckstein Gerhard Tobermann

Published in: Autom. Softw. Eng. (1997)

Keyphrases

hypothetical reasoning
logic programs
supreme court
cognitive science
deductive databases
open source
legal argument
image processing
web services
decision trees
artificial intelligence
parallel processing
machine learning
fault localization
java programs
data mining
real world