Login / Signup
A Monotonic Declarative Semantics for Normal Logic Programs.
Paqui Lucio
Fernando Orejas
Elvira Pino
Published in:
APPIA-GULP-PRODE (1997)
Keyphrases
</>
declarative semantics
normal logic programs
logic programs
stable models
logic programming
deductive databases
answer sets
fixpoint
answer set programming
integrity constraints
logic programming language
stable model semantics
fixpoint semantics
general purpose
inductive logic programming
object oriented