Sciweavers

857 search results - page 15 / 172
» Compositional Semantics in Verbmobil
Sort
View
ECOOPW
1994
Springer
13 years 11 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
WAIM
2004
Springer
14 years 22 days ago
Symbolic Agent Negotiation for Semantic Web Service Exploitation
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
Peep Küngas, Jinghai Rao, Mihhail Matskin
ACSD
2006
IEEE
106views Hardware» more  ACSD 2006»
14 years 1 months ago
Synchronous + Concurrent + Sequential = Earlier than + Not later than
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
JOLLI
2007
83views more  JOLLI 2007»
13 years 7 months ago
Modeling generalized implicatures using non-monotonic logics
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
Jacques Wainer
AAAI
2006
13 years 8 months ago
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
Rama Akkiraju, Biplav Srivastava, Anca-Andreea Iva...