Stable Models of Formulas with Generalized Quantifiers (Preliminary Report).
Joohyung LeeYunsong MengPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- fixpoint
- general theory
- stable model semantics
- answer set programming
- horn clauses
- deductive databases
- loop formulas
- logic programs with negation
- strong equivalence
- natural language
- answer sets
- databases
- inductive logic programming
- background knowledge
- general purpose
- expert systems
- artificial intelligence