Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths.

Hideki Isozaki Hirofumi Katsuno

Published in: ICLP (1995)

Keyphrases

logic programs
logic programming
answer set programming
stable models
answer sets
fixpoint
database
computational properties
inductive logic programming
background knowledge
stable model semantics
normal logic programs
prolog programs
partial deduction
artificial intelligence
deductive databases