Stable Semantics for Disjunctive Programs.

Teodor C. Przymusinski

Published in: New Gener. Comput. (1991)

Keyphrases

answer sets
answer set programming
real time
control program
provably correct
database
genetic algorithm
artificial intelligence
case study
computer programs
programming environment