Compactness Properties for Stable Semantics of Logic Programs.

Victor W. Marek Jeffrey B. Remmel

Published in: Fundam. Informaticae (2007)

Keyphrases

general purpose
expert systems
search strategies