Sciweavers

713 search results - page 37 / 143
» Syntax and Semantics of Babel-17
Sort
View
ESWS
2007
Springer
14 years 2 months ago
An Ontology for Executable Business Processes
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
Jörg Nitzsche, Daniel Wutke, Tammo van Lessen
TYPES
2007
Springer
14 years 2 months ago
Dependently Sorted Logic
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
João Filipe Belo
ARGMAS
2004
Springer
14 years 1 months ago
A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action
We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Mult...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
14 years 1 months ago
Phobos: A Front-End Approach to Extensible Compilers
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...
Adam Granicz, Jason Hickey
ACL
2007
13 years 10 months ago
Improving the Interpretation of Noun Phrases with Cross-linguistic Information
This paper addresses the automatic classification of semantic relations in noun phrases based on cross-linguistic evidence from a set of five Romance languages. A set of novel s...
Roxana Girju