Normal Logic Programs as Open Positive Programs.
Antonio BrogiEvelina LammaPaolo MancarellaPaola MelloPublished in: JICSLP (1992)
Keyphrases
- normal logic programs
- logic programs
- stable models
- answer sets
- logic programming
- default reasoning
- answer set semantics
- stable model semantics
- fixpoint
- semantics for logic programs
- answer set programming
- deductive databases
- knowledge representation and reasoning
- data exchange
- xml documents
- knowledge base
- closed world
- loop formulas
- machine learning