Login / Signup
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