An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation.

Fabrizio Riguzzi Terrance Swift

Published in: CILC (2010)

Keyphrases

efficient implementation
active set
logic programs
incomplete information
semantics for logic programs
answer sets
stable models
open world
metadata
minimal models