✦ LIBER ✦

Inductive inference of logic programs based on algebraic semantics

✍ Scribed by Yasubumi Sakakibara

Book ID: 112976849
Publisher: Springer
Year: 1990
Tongue: English
Weight: 739 KB
Volume: 7
Category: Article
ISSN: 0288-3635
DOI: 10.1007/bf03037452

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for ICAI systems based on in

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

✍ Kazuhisa Kawai; Riichiro Mizoguchi; Osamu Kakusho; Jun’ichi Toyoda 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 683 KB

The loop formula based semantics of desc

The loop formula based semantics of description logic programs

✍ Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Comparison of Semantics of Disjunctive L

Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction

✍ Xi-Shun Zhao; Yu-Ping Shen 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 750 KB

Foundation of logic programming based on

Foundation of logic programming based on inductive definition

✍ Masami Hagiya; Takafumi Sakurai 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 768 KB

On the equivalence of semantics for norm

On the equivalence of semantics for normal logic programs

✍ Jia-Huai You; Li Yan Yuan 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 699 KB

Despite the frequent comment that there is no general agreement on the semantics of logic programs, this paper shows that a number of independently proposed extensions to the stable model semantics coincide: the regular model semantics proposed by You and Yuan, the partial stable model semantics by

Rational set of trees and the algebraic

Rational set of trees and the algebraic semantics of logic programming

✍ G. Marque-Pucheu 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 530 KB