PDL with Negation of Atomic Programs.

Carsten Lutz Dirk Walther

Published in: IJCAR (2004)

Keyphrases

fixpoint
dynamic logic
stable models
logic programs
stable model semantics
deductive databases
logic programming
answer sets
fixpoint semantics
data sets
declarative semantics
query language
deontic logic
decision trees
information retrieval
normal logic programs
databases