𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rewriting programs to have a base for new software

✍ Scribed by Wim Dierickx; Benoît Philips

Book ID
107909035
Publisher
Elsevier Science
Year
1985
Weight
263 KB
Volume
16
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abduction in logic programming: A new de
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
✍ Fangzhen Lin; Jia-Huai You 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 255 KB

A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abductio

Visual LinProg: A web-based educational
Visual LinProg: A web-based educational software for linear programming
✍ Vassilios Lazaridis; Konstantinos Paparrizos; Nikolaos Samaras; Angelo Sifaleras 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 558 KB

## Abstract Visual LinProg is an educational tool that solves linear problems (LPs), using animation and visualization techniques. The core of the proposed software includes the well‐known class of simplex type algorithms. This tool is a Web‐based software and hence platform independent. Visual Lin