The Acceptability Semantics for Logic Programs.

Antonis C. Kakas Paolo Mancarella Phan Minh Dung

Published in: ICLP (1994)

Keyphrases

semantics for logic programs
logic programs
logic programming
stable models
open world
fixpoint
answer sets
normal logic programs
normal form
minimal models
background knowledge
incomplete information
deductive databases
propositional logic
answer set programming
expressive power
default reasoning
databases