An Infinite-Valued Semantics for Logic Programs with Negation.

Panos Rondogiannis William W. Wadge

Published in: JELIA (2002)

Keyphrases

valued semantics
logic programs with negation
logic programs
default logic
consistent query answering
stable models
logic programming
logical implication
integrity constraints
answer sets
dl lite
deductive databases
answer set programming
artificial intelligence
nonmonotonic reasoning
fixpoint
high level