Chart Parsers as Inference Systems for Fixed-Mode Logic Programs.

David A. Rosenblueth

Published in: New Gener. Comput. (1996)

Keyphrases

logic programs
logic programming
answer set programming
stable models
background knowledge
answer sets
abductive reasoning
normal logic programs
monotonicity constraints
functional programs
partial deduction
natural language
semantics of logic programs
term rewriting systems