A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
Edelmira PasarellaFernando OrejasElvira PinoMarisa NavarroPublished in: LOPSTR (2005)
Keyphrases
- normal logic programs
- logic programs
- stable models
- logic programming
- default reasoning
- stable model semantics
- answer sets
- semantics for logic programs
- hybrid probabilistic logic programs
- answer set semantics
- answer set programming
- fixpoint
- deductive databases
- knowledge representation and reasoning
- formal semantics
- reasoning tasks
- incomplete information