Sign in
Assumption-based Reasoning with Constraints for Diagnosing Program Errors.
Fei Pu
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