✦ LIBER ✦

On the relationship between TMS and logic programs

✍ Scribed by Xianchang Wang; Huowang Chen; Qinping Zhao

Book ID: 112945661
Publisher: Springer
Year: 1994
Tongue: English
Weight: 347 KB
Volume: 9
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02939505

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The relationship between logic programs

The relationship between logic programs and specifications-the subset example revisited

✍ Kung-Kiu Lau; Mario Ornaghi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 1000 KB

The fundamental relation between a program P and its specification S is correctness: P satisfies S if and only if P is correct with respect to S. In logic programming, this relationship can be particularly close, since logic can be used to express both specifications and programs. Indeed logic progr

Abductive logic programming and disjunct

Abductive logic programming and disjunctive logic programming: their relationship and transferability

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 207 KB

On the Relationship Between BDI Logics a

On the Relationship Between BDI Logics and Standard Logics of Concurrency

✍ Klaus Schild 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 161 KB

On the Relations between Disjunctive and

On the Relations between Disjunctive and Linear Logic Programming

✍ Marco Bozzano; Giorgio Delzanno; Maurizio Martelli 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 251 KB

On the logic of programs

✍ R. A. Plyushkyavichyus; A. Yu. Plyushkyavichene; Yu. V. Sakalauskaite; S. P. Yuk 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 875 KB

On the relationship between modeling and

On the relationship between modeling and programming languages

✍ Bernhard Rumpe; Robert France 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 63 KB