Incremental Analysis of Logic Programs with Assertions and Open Predicates.

Isabel Garcia-Contreras José F. Morales Manuel V. Hermenegildo

Published in: LOPSTR (2019)

Keyphrases

logic programs
logic programming
background knowledge
answer set programming
horn clauses
stable model semantics
answer sets
stable models
fixpoint
computational properties
programming language
integrity constraints
query answering
deductive databases
function symbols