2696 search results - page 80 / 540 » Semantic Abstraction and Anaphora |
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
CONTEXT
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
HOA
1993
15 years 1 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
113
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
ENTCS
2006
14 years 9 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...