PDL with Negation of Atomic Programs.

Carsten Lutz Dirk Walther

Published in: J. Appl. Non Class. Logics (2005)

Keyphrases

fixpoint
dynamic logic
stable models
logic programming
answer sets
logic programs
neural network
stable model semantics
data sets
propositional dynamic logic
normal logic programs
intermediate level
information retrieval
horn clauses
automatic programming
deontic logic
web services
databases
real time