Unfolding, Procedural and Fixpoint Semantics of Logic Programs.

François Denis Jean-Paul Delahaye

Published in: JTASPEFT/WSA (1991)

Keyphrases

fixpoint
semantics of logic programs
logic programs
deductive databases
finite state machines
answer sets
logic programming
stable models
truth values
nonmonotonic reasoning
datalog programs
horn clauses
sql queries
object oriented
integrity constraints
background knowledge
search space
answer set semantics