A Two Steps Semantics for Logic Programs with Negation.

Maurizio Gabbrielli Giorgio Levi Daniele Turi

Published in: LPAR (1992)

Keyphrases

logic programs with negation
stable models
logic programs
logic programming
formal semantics
semantic information
fixpoint
databases
multi agent
general purpose
default logic
operational semantics
argumentation semantics