Structuring Logic Programs: A Modal Approach.

Laura Giordano Alberto Martelli

Published in: J. Log. Program. (1994)

Keyphrases

logic programs
logic programming
stable models
fixpoint
answer sets
modal logic
answer set programming
partial deduction
normal logic programs
inductive logic programming
background knowledge
prolog programs
term rewriting systems
computational properties
existentially quantified
logic program updates
search space