Transforming Normal Logic Programs to Constraint Logic Programs.
Kanchana KanchanasutPeter J. StuckeyPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- logic programs
- normal logic programs
- stable models
- logic programming
- answer sets
- answer set semantics
- fixpoint
- background knowledge
- stable model semantics
- answer set programming
- default reasoning
- general logic programs
- inductive logic programming
- artificial intelligence
- loop formulas
- machine learning
- knowledge representation and reasoning
- knowledge management
- bayesian networks
- strong equivalence
- fixpoint semantics