Login / Signup

Model Generation and State Generation for Disjunctive Logic Programs.

Dietmar SeipelJack MinkerCarolina Ruiz
Published in: J. Log. Program. (1997)
Keyphrases
  • query processing
  • logic programs
  • desirable properties
  • constraint propagation