𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Static Analysis Method for a Classical Linear Logic Programming Language

✍ Scribed by Kyoung-Sim Kang; Naoyuki Tamura

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
185 KB
Volume
30
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

LUPSβ€”A language for updating logic progr
LUPSβ€”A language for updating logic programs
✍ JosΓ© JΓΊlio Alferes; Luı́s Moniz Pereira; Halina Przymusinska; Teodor C. Przymusi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 229 KB

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the decl

A projective simplex method for linear p
A projective simplex method for linear programming
✍ Ping-Qi Pan πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 189 KB

Linear programming problems with quite square coecient matrix form a wide range of problems that are not amenable to existing algorithms. The method proposed in this paper attacks such problems from the dual side, alternatively arranging computations of the simplex method using the QR factorization.