Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.
Pedro López-GarcíaFrancisco BuenoManuel V. HermenegildoPublished in: New Gener. Comput. (2010)
Keyphrases
- logic programs
- mutual exclusion
- logic programming
- long distance
- abductive reasoning
- background knowledge
- answer sets
- fixpoint
- answer set programming
- stable models
- inductive logic programming
- prolog programs
- computational properties
- partial deduction
- normal logic programs
- logic program updates
- stable model semantics
- horn clauses
- bayesian networks
- term rewriting systems
- machine learning
- planning domains
- nonmonotonic reasoning
- computer technology
- general purpose
- recursive programs