Login / Signup
Computing Answers to Logic Programs with Weak Model Elimination.
Marco A. Casanova
Ramiro A. de T. Guerreiro
Andrea Silva
Published in:
NACLP (1989)
Keyphrases
</>
logic programs
logic programming
background knowledge
answer sets
answer set programming