Normal forms for answer sets programming.
Stefania CostantiniAlessandro ProvettiPublished in: Theory Pract. Log. Program. (2005)
Keyphrases
- normal form
- answer sets
- logic programs
- answer set programming
- logic programming
- database design
- programming language
- relational algebra
- relational databases
- functional dependencies
- normal logic programs
- answer set programs
- fixpoint
- nested relations
- data dependencies
- prime implicates
- logic program updates
- expert systems
- expressive power
- semantics of logic programs
- databases