On Stratified Disjunctive Programs.

Arcot Rajasekar Jack Minker

Published in: Ann. Math. Artif. Intell. (1990)

Keyphrases

answer sets
automatic programming
real time
computer vision
logic programs
answer set programming
artificial intelligence
learning environment
control structures