Pos(T): Analyzing Dependencies in Typed Logic Programs.
Maurice BruynoogheWim VanhoofMichael CodishPublished in: Ershov Memorial Conference (2001)
Keyphrases
- logic programs
- logic programming
- inside outside algorithm
- answer sets
- stable models
- fixpoint
- background knowledge
- answer set programming
- inductive logic programming
- computational properties
- normal logic programs
- n gram
- prolog programs
- logic program updates
- part of speech
- partial deduction
- loop formulas
- propositional theories
- term rewriting systems
- deductive databases
- nonmonotonic reasoning
- horn clauses
- artificial intelligence