Constructing first-order loops of normal logic programs.
Yisong WangYing ZhangMingyi ZhangPublished in: FSKD (2011)
Keyphrases
- normal logic programs
- general logic programs
- logic programs
- stable models
- default reasoning
- answer sets
- logic programming
- first order logic
- loop formulas
- answer set semantics
- deductive databases
- horn clauses
- incomplete information
- autoepistemic logic
- stable model semantics
- answer set programming
- semantics for logic programs
- minimal models
- artificial intelligence
- fixpoint
- inductive logic programming
- search space
- relational databases
- expert systems
- high level
- knowledge base