866 search results - page 99 / 174 » A compositional semantics for CHR |
157
Voted
AUSAI
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
144
click to vote
ESWS
2007
Springer
16 years 8 days ago
2007
Springer
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...
156
click to vote
LICS
2006
IEEE
16 years 3 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
140
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
185
click to vote
ICGI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...