Sciweavers

713 search results - page 21 / 143
» Syntax and Semantics of Babel-17
Sort
View
INLG
2004
Springer
14 years 1 months ago
Context-Based Incremental Generation for Dialogue
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
Matthew Purver, Ruth Kempson
ENTCS
2008
102views more  ENTCS 2008»
13 years 8 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
ISNN
2005
Springer
14 years 1 months ago
Self-organizing Map Analysis of Conceptual and Semantic Relations for Noun
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...
Minghu Jiang, Chengqing Zong, Beixing Deng
FORMATS
2003
Springer
14 years 1 months ago
Formal Semantics of Hybrid Chi
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...
SEMWEB
2001
Springer
14 years 26 days ago
Semantic Web Languages: RDF vs. SOAP Serialisation
Although RDF is considered the Semantic Web language, it may not be the only one. SOAP serialisation provides several advantages, especially if the Semantic Web is not just about ...
Stefan Haustein