Login / Signup
Using linear constraints for logic program termination analysis.
Marco Calautti
Sergio Greco
Cristian Molinaro
Irina Trubitsyna
Published in:
Theory Pract. Log. Program. (2016)
Keyphrases
</>
linear constraints
termination analysis
logic programs
active rules
active databases
logic programming
stable models
answer sets
fixpoint
normal logic programs
deductive databases
integrity constraints
answer set programming
convex sets
computational properties
business processes
horn clauses
information systems