Lexical and semantic development of the basic vocabulary in English and Slovak by Urbániková, M

“…In this way not only the formal and semantic development of the basic vocabulary of the languages in question will be compared, but also the Swadesh list and the postulated unchanging nature of its items can be questioned and eventually a new set of words or even semantic fields that are the least prone to change in both form and semantic content can be determined (at least for the languages in question).…”

Ontology Evolution Under Semantic Constraints by Grau, B, Jimenez−Ruiz, E, Kharlamov, E, Zheleznyakov, D

Lexical borrowing in English: a case for a more detailed analysis by Durkin, P

“…</p><p> I will look at some of the complexities which are disguised by such approaches, and which should be flagged alongside a basic numerical analysis in any careful account:</p><p><ul><li>Etymologies are often more complex than crude summaries suggest: we find multiple inputs, dual etymologies, repeated formal or semantic borrowing from the same source.…”

Contact, cognates, and the Dictionary of Canadianisms Online by Fee, M, Dollinger, S

“…Poplack, Walker and Malcolmson 2006) does not apply the fine-grained semantic analysis proposed here and therefore tends to under-report the nature of French influence.…”

A systematic derivation of the STG machine verified in Coq by Pirog, M, Biernacki, D

“…</p> <p>The entire derivation has been formalized in the Coq proof assistant. Thus, in effect, we provide a machine checkable proof of the correctness of the STG machine with respect to the natural semantics.…”

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics by Lukasiewicz, T, Martinez, V, Orsi, G, Simari, G

“…In particular, Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics by Lukasiewicz, T, Martinez, M, Orsi, G, Simari, G

“…In particular,Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

Heuristic ranking in tightly coupled probabilistic description logics by Lukasiewicz, T, Martinez, M, Orsi, G, Simari, G

“…In particular,Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

Learning structured video descriptions: Automated video knowledge extraction for video understanding tasks by Vasile, D, Lukasiewicz, T

“…While most of the current solutions to vision-to-language problems are inspired from machine translation methods, aiming to directly map visual features to text, several recent results on image and video understanding have proven the importance of specifically and formally representing the semantic content of a visual scene, before reasoning over it and mapping it to natural language. …”

Declarative probabilistic programming with datalog by Barany, V, Cate, B, Kimelfeld, B, Olteanu, D, Vagena, Z

“…Use cases of such formalisms include the development of algorithms in machine learning and artificial intelligence. …”