Definability, Decidability, Complexity.

Patrick Cégielski

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

description logics
computational complexity
worst case
computational cost
query answering
real world
artificial intelligence
decision problems
incomplete information
decision procedures