On the Failure of the Finite Model Property in some Fuzzy Description Logics

Fernando Bobillo Félix Bou Umberto Straccia

Published in: CoRR (2010)

Keyphrases

machine learning
artificial intelligence
expert systems
programming language
first order logic