3440 search results - page 438 / 688 » Logics For Context-Free Languages |
182
click to vote
CP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
198
click to vote
ISCIS
2004
Springer
16 years 19 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
207
click to vote
LPNMR
2004
Springer
16 years 18 days ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
191
click to vote
EDOC
2003
IEEE
16 years 16 days ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
206
click to vote
ICLP
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...