The Decidability of the Equivalence Problem for DOL-Systems

Karel Culík II Ivan Fris

Published in: Inf. Control. (1977)

Keyphrases

systems require
description logics
retrieval systems
complex systems
evolutionary algorithm
intelligent systems
query language
data integration
knowledge based systems
computer systems
data sets
hidden markov models
information technology
artificial intelligence
genetic algorithm
machine learning
databases