P-stable models of strong kernel programs.
José Luis CarballidoClaudia ZepedaPublished in: LA-NMR (2008)
Keyphrases
- stable models
- logic programs
- normal logic programs
- logic programming
- fixpoint
- stable model semantics
- answer set programming
- deductive databases
- general theory
- logic programs with negation
- answer set programs
- loop formulas
- kernel function
- answer sets
- strong equivalence
- machine learning
- answer set semantics
- knowledge representation and reasoning
- horn clauses
- background knowledge
- high level
- artificial intelligence
- databases