Generalized Disjunctive Well-Founded Semantics for Logic Programs.

Chitta Baral Jorge Lobo Jack Minker

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

Keyphrases

answer sets
semantics for logic programs
logic programs
logic programming
stable models
answer set programming
open world
databases
high level
expert systems
relational databases
propositional logic
normal logic programs