Automatic Generation of Local Repairs for Boolean Programs.

Roopsha Samanta Jyotirmoy V. Deshmukh E. Allen Emerson

Published in: FMCAD (2008)

Keyphrases

answer sets
automatically generate
real valued
multiscale
automatic programming
integrity constraints
information retrieval
artificial intelligence
consistent query answering
real time
prolog programs
intermediate level
automatically generating
stable models
logic programs
information systems
real world