Using the Isabelle Ontology Framework - Linking the Formal with the Informal.

Achim D. Brucker Idir Aït-Sadoune Paolo Crisafulli Burkhart Wolff

Published in: CICM (2018)

Keyphrases

machine learning
main contribution
database
artificial intelligence
multi agent
expert systems
semantic web
lightweight
conceptual framework