Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.
Edison MeraTeresa TrigoPedro López-GarcíaManuel V. HermenegildoPublished in: PADL (2011)
Keyphrases
- computational properties
- logic programs
- logic programming
- answer sets
- answer set programming
- fixpoint
- semantic properties
- stable models
- reasoning problems
- partial deduction
- normal logic programs
- inductive logic programming
- prolog programs
- propositional theories
- answer set semantics
- stable model semantics
- strong equivalence
- databases
- horn clauses
- markov random field
- decision trees
- semantics for logic programs