Login / Signup
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.
Isabel Garcia-Contreras
José F. Morales
Manuel V. Hermenegildo
Published in:
CoRR (2018)
Keyphrases
</>
logic programs
context sensitive
logic programming
answer set programming
stable models
background knowledge
answer sets
term rewriting systems
language model
fixpoint
bayesian networks
probabilistic model
nonmonotonic reasoning
default reasoning
prolog programs