• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Notion of Naturalness in Formal Modeling.

Eduard KamburjanSandro Rama Fiorini
Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
  • real time
  • mathematical theory
  • databases
  • learning algorithm
  • artificial intelligence
  • high level
  • image sequences
  • wide range
  • description logics
  • general theory
  • formal models