Extending ALCQ with Bounded Self-Reference.

Daniel Gorín Lutz Schröder

Published in: Advances in Modal Logic (2012)

Keyphrases

description logics
genetic algorithm
reference images
data sets
knowledge base
objective function
computer vision
information systems
expert systems
artificial neural networks
mobile robot
asymptotically optimal