✦ LIBER ✦

Conceptual logic programs

✍ Scribed by Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 673 KB
Volume: 47
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-006-9030-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tharp and conceptual logic

✍ Hao Wang 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 649 KB

Equivalent logic programs

✍ Chan Kwok Hung 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 823 KB

Logic, Meaning and Conceptual Role

✍ Field, Hartry 📂 Fiction 📅 0 🌐 English ⚖ 3 MB

Logic programs as specifications in the

Logic programs as specifications in the inductive verification of logic programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Transformations of logic programs

✍ Olga Štěpánková; Petr Štěpánek 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 863 KB

Annotated fuzzy logic programs

✍ Tru H. Cao 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Several fuzzy logic programming systems that deal with fuzzy sets as data in programs have been developed, but they lack the fundamentals of a theorem prover, whence the soundness and the completeness cannot be proved. Annotated logic programs have been developed as an extension of classical logic p