𝔖 Bobbio Scriptorium
✦   LIBER   ✦

TIDE: A Generic Debugging Framework — Tool Demonstration —

✍ Scribed by M.G.J. van den Brand; B. Cornelissen; P.A. Olivier; J.J. Vinju

Book ID
108126503
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
226 KB
Volume
141
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Generic Graphic Framework for Combinin
A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae
✍ Ricardo Caferra; Michel Herment Lifia-Imag 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 843 KB

A running system for combining inference tools, editing and checking proofs in different logics is presented. It is based on a formalism similar to and developed from the Calculus of Constructions (Coquand and Huet). The system named GLEF ATINF, is a \(^{\text {, }}\) key component of the inference

[Lecture Notes in Computer Science] Arti
[Lecture Notes in Computer Science] Artificial General Intelligence Volume 6830 || The LIDA Framework as a General Tool for AGI
✍ Schmidhuber, Jürgen; Thórisson, Kristinn R.; Looks, Moshe 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 233 KB

This book constitutes the refereed proceedings of the 4th International Conference on Artificial General Intelligence, AGI 2011, held in Mountain View, CA, USA, in August 2011. The 28 revised full papers and 26 short papers were carefully reviewed and selected from 103 submissions. The papers are wr