Login / Signup
Goal Dependent versus Goal Independent Analysis of Logic Programs.
Michael Codish
Maria J. García de la Banda
Maurice Bruynooghe
Manuel V. Hermenegildo
Published in:
LPAR (1994)
Keyphrases
</>
logic programs
logic programming
answer set programming
monotonicity constraints
artificial intelligence
background knowledge