5482 search results - page 86 / 1097 » Logic Programming and Databases |
116
click to vote
TACAS
1998
Springer
15 years 2 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
103
click to vote
CADE
2001
Springer
15 years 10 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
SAC
2010
ACM
2010
ACM
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
15 years 3 months ago
ERSHOV
2003
Springer
15 years 3 months ago
2003
Springer
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
