Isoinitial Semantics for Logic Programs.
Kung-Kiu LauMario OrnaghiPublished in: Computational Logic (2000)
Keyphrases
- semantics for logic programs
- logic programs
- open world
- logic programming
- stable models
- answer sets
- fixpoint
- normal logic programs
- normal form
- incomplete information
- minimal models
- propositional logic
- closed world
- deductive databases
- expert systems
- knowledge representation
- knowledge base
- default reasoning
- nonmonotonic reasoning
- answer set programming