Contextual hypotheses and semantics of logic programs.

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

semantics of logic programs
deductive databases
contextual information
logic programs
fixpoint
logic programming
answer sets
truth values
answer set programming
databases
database systems
data structure
first order logic