1083 search results - page 135 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
113
click to vote
PLILP
1995
Springer
15 years 6 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
124
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
117
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
116
click to vote
ENTCS
2006
15 years 2 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
122
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...