Sciweavers

6016 search results - page 78 / 1204
» The semantics of graphical languages
Sort
View
MLCW
2005
Springer
15 years 10 months ago
An Inference Model for Semantic Entailment in Natural Language
Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another. This is a fundamental problem in natural language understanding that ...
Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyaka...
CIKM
1994
Springer
15 years 8 months ago
A Semantics Approach for KQML - A General Purpose Communication Language for Software Agents
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
Yannis Labrou, Timothy W. Finin
NLDB
2010
Springer
15 years 6 months ago
Semantic Enriching of Natural Language Texts with Automatic Thematic Role Annotation
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
Sven J. Körner, Mathias Landhäußer
CORR
1998
Springer
94views Education» more  CORR 1998»
15 years 4 months ago
Semantics and Conversations for an Agent Communication Language
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
Yannis Labrou, Timothy W. Finin
ENTCS
2006
133views more  ENTCS 2006»
15 years 4 months ago
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
Ando Saabas, Tarmo Uustalu