Model Elimination, Logic Programming and Computing Answers.

Peter Baumgartner Ulrich Furbach Frieder Stolzenburg

Published in: IJCAI (1995)

Keyphrases

logic programming
formal model
logic programs
programming language
knowledge base
deductive databases
inductive logic programming
rule based systems
logic programming language