Completeness and Decidability Results for Hybrid(ised) Logics.

Renato Neves Manuel A. Martins Luís Soares Barbosa

Published in: SBMF (2014)

Keyphrases

decision procedures
description logics
expressive power
query answering
modal logic
genetic algorithm
computational properties
order sorted
databases
inference rules
knowledge representation
hybrid learning
classical logic
information systems
search engine
hybrid approaches
machine learning