Logic Program Termination Analysis Using Atom Sizes.
Marco CalauttiSergio GrecoCristian MolinaroIrina TrubitsynaPublished in: IJCAI (2015)
Keyphrases
- logic programs
- termination analysis
- active rules
- active databases
- logic programming
- fixpoint
- stable models
- answer sets
- deductive databases
- answer set programming
- logic program updates
- general logic programs
- normal logic programs
- computational properties
- horn clauses
- inside outside algorithm
- integrity constraints
- loop formulas
- information systems
- expressive power
- natural language
- database systems