Login / Signup

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

Achim D. BruckerIdir Aït-SadounePaolo CrisafulliBurkhart Wolff
Published in: CICM (2018)
Keyphrases
  • machine learning
  • main contribution
  • database
  • artificial intelligence
  • multi agent
  • expert systems
  • semantic web
  • lightweight
  • conceptual framework