𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framework for ICAI systems based on inductive inference and logic programming

✍ Scribed by Kazuhisa Kawai; Riichiro Mizoguchi; Osamu Kakusho; Jun’ichi Toyoda

Book ID
112976856
Publisher
Springer
Year
1987
Tongue
English
Weight
683 KB
Volume
5
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Alge
[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 343 || Proving inductive theorems based on term rewriting systems
✍ Grabowski, J.; Lescanne, P.; Wechler, W. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 550 KB

This Volume Contains The Proceedings Of The First International Workshop On Algebraic And Logic Programming Held In Gaussig (german Democratic Republic) From November 14 To 18, 1988. The Workshop Was Devoted To Algebraic Programming, In The Sense Of Programming By Algebraic Specifications And Rewrit

Asynchronous and synchronous approahces
Asynchronous and synchronous approahces for programming distributed control systems based on standards
✍ R. Schoop; A. Strelzoft 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 558 KB

Based on a general design model for distributed control systems, and using standardised languages of IEC 1131-3 for control, three approaches to programming are investigated. The first is based on IEC programs with extensions, the second is a decomposition of programs with SFC notations and the thir