On the Declarative and Procedural Semantics of Logic Programs.

Teodor C. Przymusinski

Published in: J. Autom. Reason. (1989)

Keyphrases

semantics of logic programs
declarative knowledge
deductive databases
logic programs
answer sets
procedural knowledge
fixpoint
logic programming
knowledge representation
truth values
high level
answer set semantics
object oriented
expressive power