Reasoning on anonymity in Datalog+/-.

Giovanni Amendola Nicola Leone Marco Manna Pierfrancesco Veltri

Published in: ICLP (Technical Communications) (2017)

Keyphrases

expressive power
query answering
deductive databases
knowledge base
knowledge representation
spatial reasoning
transitive closure
qualitative reasoning
model based reasoning
logic programming
query language
first order logic
inductive logic programming
probabilistic reasoning
reasoning process
payment scheme