3441 search results - page 535 / 689 » Parallel Logic Programming Systems |
138
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
134
Voted
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
150
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
148
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
186
click to vote
JELIA
2010
Springer
15 years 3 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...