Private Names in Non-Commutative Logic.

Ross Horne Alwen Tiu Bogdan Aman Gabriel Ciobanu

Published in: CoRR (2016)

Keyphrases

logic programming
multi valued
modal logic
classical logic
private data
nonmonotonic logics
data sets
computational properties
formal theory
named entities
automated reasoning
private information
logic synthesis
deontic logic
privacy preserving
knowledge base
artificial intelligence
learning algorithm
real world