Sciweavers

267 search results - page 19 / 54
» Open-ended Grounded Semantics
Sort
View
ICWS
2003
IEEE
13 years 8 months ago
Towards a Semantic Choreography of Web Services: From WSDL to DAML-S
— The relation between DAML-S, a language for the description of Web services grounded in the Semantic Web, and the growing Web services infrastructure based on WSDL is, by an la...
Massimo Paolucci, Naveen Srinivasan, Katia P. Syca...
ADAEUROPE
2008
Springer
14 years 1 months ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
LOPSTR
2009
Springer
14 years 1 months ago
LP with Flexible Grouping and Aggregates Using Modes
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
Marcin Czenko, Sandro Etalle
AI
2008
Springer
13 years 6 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
TSD
2010
Springer
13 years 5 months ago
Encoding Event and Argument Structures in Wordnets
In this paper we propose the codification of argument and event structures in wordnets, providing information on selection properties, semantic incorporation phenomena and internal...
Raquel Amaro, Sara Mendes, Palmira Marrafa