On the existence and unicity of stable models in normal residuated logic programs.
Nicolás MadridManuel Ojeda-AciegoPublished in: Int. J. Comput. Math. (2012)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- answer set programming
- fixpoint
- stable model semantics
- answer sets
- loop formulas
- logic programs with negation
- background knowledge
- strong equivalence
- inductive logic programming
- deductive databases
- computational properties
- answer set programs
- knowledge base
- disjunctive logic programs
- machine learning
- reasoning tasks
- incomplete information
- general purpose