Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.
Alberto CiaffaglioneCarlos OlartePublished in: CoRR (2023)
Keyphrases
- logical theories
- theoretical insights
- logical properties
- expressive power
- decision theory
- language independent
- theoretical basis
- information theory
- information retrieval
- meta level
- probabilistic logic
- general theory
- language identification
- theoretical framework
- arabic language
- computational model
- information systems