IMAP4 Non-synchronizing Literals.

Alexey Melnikov

Published in: RFC (2016)

Keyphrases

inductive logic programming
answer sets
horn clauses
data sets
artificial intelligence
data mining
data analysis
prior knowledge
orders of magnitude
truth values
universally quantified