On Semantics, Syntactics and Fixpoints of General Programs.

Published in: ICCI (1991)

Keyphrases

special case
fixpoint semantics
fixpoint
neural network
case study
normal logic programs
nonmonotonic reasoning
integrity constraints
provably correct
stable models
formal semantics
modal logic
real time
logic programs
object oriented
expert systems
data sets