Computing secure sets in graphs using answer set programming.

Michael Abseher Bernhard Bliem Günther Charwat Frederico Dusberger Stefan Woltran

Published in: J. Log. Comput. (2020)

Keyphrases

database systems
answer set programming
logic programs
answer sets
logic programming
reasoning tasks

causal theories
constraint logic programming
answer set programs
disjunctive logic programming
qualitative spatial and temporal reasoning
haplotype inference

stable model semantics
tree decomposition
stable models
knowledge representation
update semantics

default theories
graph databases
graph model
software engineering
knowledge base