An Algebraic Construction of the Well-Founded Model.

Rajiv Bagai Rajshekhar Sunderraman

Published in: AMAST (1995)

Keyphrases

deductive databases
database
information retrieval
artificial intelligence
information systems
image sequences
cooperative
computer science
mobile robot
logic programs
integrity constraints
inference rules
fixpoint
automatic construction