Clause Management Systems.

Alex Kean George K. Tsiknis

Published in: Comput. Intell. (1993)

Keyphrases

management system
resource management
database management systems
search space

information systems
water resources
file management
databases

real world
search engine
multimedia
image sequences

computational complexity
theorem prover
horn clauses
refinement operators