• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head.

Jianmin Ji
Published in: KSEM (2015)
Keyphrases
  • real time
  • artificial intelligence
  • logic programs
  • stable models
  • logic programs with negation
  • general purpose
  • class labels
  • root cause
  • failure detection