The Expressiveness of Locally Stratified Programs.

Howard A. Blair V. Wiktor Marek John S. Schlipf

Published in: Ann. Math. Artif. Intell. (1995)

Keyphrases

expressive power
database
decision making
knowledge base
website
database systems
multiresolution
globally consistent
provably correct