SLX - A Top-down Derivation Procedure for Programs with Explicit Negation.

José Júlio Alferes Carlos Viegas Damásio Luís Moniz Pereira

Published in: ILPS (1994)

Keyphrases

fixpoint
answer sets
computer programs
database
high level
logic programming
search procedure
stable model semantics
information systems
deductive databases
answer set programming
iterative procedure
truth values