On the Declarative Semantics of Multi-Adjoint Logic Programs.

Pascual Julián Ginés Moreno Jaime Penabad

Published in: IWANN (1) (2009)

Keyphrases

logic programs
declarative semantics
logic programming
deductive databases
stable models
fixpoint
logic programming language
background knowledge
answer sets
answer set programming
inductive logic programming
fixpoint semantics
horn clauses
nonmonotonic reasoning
database