A Stratification Semantics for General Disjunctive Programs.

Arcot Rajasekar Jack Minker

Published in: NACLP (1989)

Keyphrases

special case
databases
neural network
database
real time
programming language
constraint satisfaction problems
closely related
answer sets
formal semantics
provably correct