Input/Output Dependencies of Normal Logic Programs.

Robert F. Stärk

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

Keyphrases

input output
normal logic programs
logic programs
stable models
answer sets
default reasoning
logic programming
noise cancellation
internal states
answer set programming
data envelopment analysis
answer set semantics
stable model semantics
fixpoint
deductive databases
database
expressive power
ibm zenterprise