Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.

Colin Bell Anil Nerode Raymond T. Ng V. S. Subrahmanian

Published in: J. ACM (1994)

Keyphrases

deductive databases
mixed integer programming
logic programming
integrity constraints
multiple inheritance
databases
evolutionary algorithm
programming language