Results 31 to 40 of about 1,176,202 (301)
, 2009 Social interactions are one of the key factors to the success of conferences and similar community gatherings. This paper describes a novel application that integrates data from the semantic web, online social networks, and a real-world contact sensing ...
Alani, Harith +5 more
core +5 more sources
Semantic communications, semantic edge computing, and semantic caching
CoRR, 2023 The increasing popularity of applications like the Metaverse has led to the exploration of new, more effective ways of communication. Semantic communication, which focuses on the meaning behind transmitted information, represents a departure from traditional communication paradigms.
Wenhan Yu, Jun Zhao 0007
openaire +2 more sources
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
On the equivalence between logic programming semantics and argumentation semantics [PDF]
, 2014 This work has been supported by the National Research Fund, Luxembourg (LAAMI project), by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant Ref. EP/J012084/1 (SAsSy project), by CNPq (Universal 2012 – Proc. 473110/2012-1), and by
Alcântara, João +3 more
core +1 more source
, 2020 We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature
Heck, Richard Kimberly, May, Robert C.
core +2 more sources
Putting Semantics into Semantic Roles [PDF]
Proceedings of the Seventh Joint Conference on Lexical and
Computational Semantics, 2018 While there have been many proposals for theories of semantic roles over the years, these models are mostly justified by intuition and the only evaluation methods have been inter-annotator agreement. We explore three different ideas for providing more rigorous theories of semantic roles.
James F. Allen, Choh Man Teng 0001
openaire +1 more source
Formal Component-Based Semantics [PDF]
, 2011 One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses.
Bas Spitters +15 more
core +8 more sources
Semantic Kernels for Semantic Parsing [PDF]
Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), 2014 We present an empirical study on the use of semantic information for Concept Segmentation and Labeling (CSL), which is an important step for semantic parsing. We represent the alternative analyses output by a state-of-the-art CSL parser with tree structures, which we rerank with a classifier trained on two types of semantic tree kernels: one processing
Iman Saleh +4 more
openaire +2 more sources
, 2020 This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness.
Gillies, Anthony S.
core
Semantic Processing of the Semantic Web [PDF]
, 2003 We develop a semantics based approach to process information on the semantic web. We show how Horn logic can be used to denotationally capture the semantics of mark-up languages designed for describing resources on the semantic web (such as RDF). The same approach can also be used to specify the semantics of query languages for the semantic web.
Kunal Patel, Gopal Gupta 0001
openaire +1 more source