Sign in
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods.
Laura Giordano
Valentina Gliozzi
Nicola Olivetti
Gian Luca Pozzato
Published in:
CILC (2011)
Keyphrases
</>
low complexity
lower complexity
computational complexity
computer vision
motion estimation
real time
description logics
default logic