Well-Founded Semantics and Stratification for Ordered Logic Programs.
Nicola LeoneGiuseppe RossiPublished in: New Gener. Comput. (1993)
Keyphrases
- logic programs
- logic programming
- fixpoint
- semantics of logic programs
- normal logic programs
- general logic programs
- answer sets
- background knowledge
- answer set programming
- stable models
- partial deduction
- inductive logic programming
- answer set semantics
- strong equivalence
- fixpoint semantics
- logic programming language
- knowledge representation and reasoning
- computational properties
- logic program updates
- minimal models
- prolog programs
- functional programs
- loop formulas
- conceptual modeling
- reasoning tasks
- horn clauses