Login / Signup
Enumerating Justifications using Resolution.
Yevgeny Kazakov
Peter Skocovsky
Published in:
Description Logics (2017)
Keyphrases
</>
high resolution
information retrieval
real time
low resolution
consequence finding
database
data sets
neural network
artificial intelligence
case study
multiscale
optimal solution
data streams
logic programs
temporal resolution
conflict detection