𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Relations between Disjunctive and Linear Logic Programming

✍ Scribed by Marco Bozzano; Giorgio Delzanno; Maurizio Martelli

Book ID
108498174
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
251 KB
Volume
48
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Disjunctive logic programming with types
Disjunctive logic programming with types and objects: The DLV+ system
✍ Francesco Ricca; Nicola Leone πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up

Parmaβ€”bridging the performance gap betwe
Parmaβ€”bridging the performance gap between imperative and logic programming
✍ Andrew Taylor πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 677 KB

Parma is an experimental high-performance Prolog compiler for the MIPS RISC architecture [4]. It was the first logic programming implementation to obtain performance comparable to imperative languages. It depends heavily on a global static analysis phase based on abstract interpretation. This paper

The Difference between Finite Dimensiona
The Difference between Finite Dimensional Linear Programming Problems and Infinite Dimensional Linear Programming Problems
✍ Tvu-Ying Ho; Yuung-Yih Lur; Soon-Yi Wu πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 161 KB

This paper studies the difference between finite-dimensional linear programming problems and infinite dimensional linear programming problems. We discuss a special class of continuous linear programming problems. We develop the structure of extreme points of feasible region for this problem. Under s