Login / Signup

Stable Model Checking for Disjunctive Logic Programs.

Nicola LeonePasquale RulloFrancesco Scarcello
Published in: Logic in Databases (1996)
Keyphrases
  • disjunctive logic programming
  • logic programming
  • answer set programming
  • knowledge representation and reasoning
  • polynomial hierarchy
  • answer sets
  • logic programs
  • high level
  • upper bound
  • reasoning systems