499 search results - page 42 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
117
click to vote
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
117
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
In the reļ¬nement calculus, monotonic predicate transformers are used to model speciļ¬cations for (imperative) programs. Together with a natural notion of simulation, they form a...
118
click to vote
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
LTL cannot express the whole class of Ļ-regular languages and several extensions have been proposed. Among them, Quantiļ¬ed propositional Linear Temporal Logic (QLTL), proposed b...
168
click to vote
PODS
1991
ACM
15 years 8 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
151
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...