𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the relationship between model-based debugging and program slicing

✍ Scribed by Franz Wotawa

Book ID
108306908
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
173 KB
Volume
135
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Relationships between learning and infor
Relationships between learning and information compression based on PAC learning model
✍ Eiji Takimoto; Akira Maruoka πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 867 KB

## Abstract This paper is based on the concept of the learning function, which represents the input‐output relation of the learning algorithm. The learning process and the information compression process are formulated as the PAC learning function and the Occam function, respectively, and their equ

On the relationship between CWA, minimal
On the relationship between CWA, minimal model, and minimal herbrand model semantics
✍ Michael Gelfond; Halina Przymusinska; Teodor Przymusinski πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 877 KB

The purpose of ithis article is to compare three types of nonmonotonic semantics: (a) proof-theoretic semantics based on the closed world assumption, (b) model-theoretic semantics based on the notion of a minimal model, and (c) model-theoretic semantics based on the notion of a minimal Herbrand mode