C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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