499 search results - page 32 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
137
click to vote
RC
2002
15 years 4 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
126
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
119
click to vote
AR
2008
15 years 4 months ago
2008
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...