Modeling Personal Identifiable Information using First-Order Logic.

Amani Shatnawi Stephen Clyde

Published in: AICCSA (2018)

Keyphrases

first order logic
expressive power
propositional logic
representation language
database
domain knowledge
knowledge representation
description logics
relational algebra
theorem proving
transitive closure
probabilistic graphical models
machine learning
knowledge base
inference rules
probabilistic reasoning