Semantics-Based Dataflow Analysis of Logic Programs.

Kim Marriott Harald Søndergaard

Published in: IFIP Congress (1989)

Keyphrases

logic programs
logic programming
fixpoint
answer sets
background knowledge
inductive logic programming
answer set programming
stable models
computational properties
normal logic programs
object oriented
description logics
stable model semantics