Assumption-based Reasoning with Constraints for Diagnosing Program Errors.

Published in: J. Comput. (2014)

Keyphrases

incomplete knowledge
agent systems
constrained optimization
intelligent agent technology
constraint programming
computer programs
machine learning
artificial intelligence
natural language
expert systems
fuzzy logic
static analysis
linear constraints
mathematical program