Results 231 to 240 of about 128,562 (276)
Some of the next articles are maybe not open access.
Synthese, 1990
This paper continues a strain of intellectual complaint against the presumptions of certain kinds of formal semantics (the qualification is important) and their bad effects on those areas of artificial intelligence concerned with machine understanding of human language.
openaire +3 more sources
This paper continues a strain of intellectual complaint against the presumptions of certain kinds of formal semantics (the qualification is important) and their bad effects on those areas of artificial intelligence concerned with machine understanding of human language.
openaire +3 more sources
Recommending biomedical resources: A fuzzy linguistic approach based on semantic web
International Journal of Intelligent Systems, 2010Nowadays most people can get enough energy to maintain one-day activity, while few people know whether they eat healthily or not. It is quite important to analyze nutritional facts for foods eaten for those who are losing weight or suffering chronic diseases such as diabetes.
N. PUDOTA+4 more
openaire +10 more sources
Advances in formal Slavic linguistics 2018
, 2021Andreas Blümel+22 more
semanticscholar +1 more source
Proceedings of the ESSLLI 2005 workshop on Formal Semantics and Cross-Linguistic Data
2005Item does not contain ...
Zwarts, J., Hoop, H. de
openaire +1 more source
When tense shifts presuppositions: hani and monstrous semantics
Natural Language Semantics, 2023Furkan Dikmen+2 more
semanticscholar +1 more source
Why Truth-Conditional Semantics in Generative Linguistics is Still the Better Bet
Erkenntnis: An International Journal of Scientific Philosophy, 2017Toby Napoletano
semanticscholar +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Computational linguistics and formal semantics: Form and content in semantics
, 1992Y. Wilks
semanticscholar +1 more source
On the Notion of Naturalness in Formal Modeling
The Logic of Software. A Tasting Menu of Formal Methods, 2022Eduard Kamburjan, S. Fiorini
semanticscholar +1 more source